文无 文无
þe©Ã'©{
Ç
2017 10 23
Ç
þe©Ã'©{
文无 文无
文无
1 文无
2
3 文无
Ç
þe©Ã'©{
文无 文无
文无
1 文无
2
3 文无
Ç
þe©Ã'©{
文无 文无
文无
1 文无
2
3 文无
Ç
þe©Ã'©{
文无 文无
C = {w|w = w
R
, w {0, 1}
}w
R
s
C
ε, 1, 0
w0w0, 1w1
1 P ε, P 0, P 1;
2 P 0P 0, P 1P 1;
Ç
þe©Ã'©{
文无 文无
C = {w|w = w
R
, w {0, 1}
}w
R
s
C
ε, 1, 0
w0w0, 1w1
1 P ε, P 0, P 1;
2 P 0P 0, P 1P 1;
Ç
þe©Ã'©{
文无 文无
C = {w|w = w
R
, w {0, 1}
}w
R
s
C
ε, 1, 0
w0w0, 1w1
1 P ε, P 0, P 1;
2 P 0P 0, P 1P 1;
Ç
þe©Ã'©{
文无 文无
C = {w|w = w
R
, w {0, 1}
}w
R
s
C
ε, 1, 0
w0w0, 1w1
1 P ε, P 0, P 1;
2 P 0P 0, P 1P 1;
Ç
þe©Ã'©{
文无 文无
C = {w|w = w
R
, w {0, 1}
}w
R
s
C
ε, 1, 0
w0w0, 1w1
1 P ε, P 0, P 1;
2 P 0P 0, P 1P 1;
Ç
þe©Ã'©{
文无 文无
C = {w|w = w
R
, w {0, 1}
}w
R
s
C
ε, 1, 0
w0w0, 1w1
1 P ε, P 0, P 1;
2 P 0P 0, P 1P 1;
Ç
þe©Ã'©{
文无 文无
C = {w|w = w
R
, w {0, 1}
}w
R
s
C
ε, 1, 0
w0w0, 1w1
1 P ε, P 0, P 1;
2 P 0P 0, P 1P 1;
Ç
þe©Ã'©{
文无 文无
/生式P ε, P 0, P 1
P 0P 0, P 1P 1;
P ε | 0 | 1 | 0P 0 | 1P 1
P
0, 1
P
Ç
þe©Ã'©{
文无 文无
/生式P ε, P 0, P 1
P 0P 0, P 1P 1;
P ε | 0 | 1 | 0P 0 | 1P 1
P
0, 1
P
Ç
þe©Ã'©{
文无 文无
/生式P ε, P 0, P 1
P 0P 0, P 1P 1;
P ε | 0 | 1 | 0P 0 | 1P 1
P
0, 1
P
Ç
þe©Ã'©{
文无 文无
/生式P ε, P 0, P 1
P 0P 0, P 1P 1;
P ε | 0 | 1 | 0P 0 | 1P 1
P
0, 1
P
Ç
þe©Ã'©{
文无 文无
/生式P ε, P 0, P 1
P 0P 0, P 1P 1;
P ε | 0 | 1 | 0P 0 | 1P 1
P
0, 1
P
Ç
þe©Ã'©{
文无 文无
文无G
1
/生式
A 0A1, A B, B #
A0, 1, #
1
2
3 2直至
最左最左
Ç
þe©Ã'©{
文无 文无
文无G
1
/生式
A 0A1, A B, B #
A
0, 1, #
1
2
3 2直至
最左最左
Ç
þe©Ã'©{
文无 文无
文无G
1
/生式
A 0A1, A B, B #
A0, 1, #
1
2
3 2直至
最左最左
Ç
þe©Ã'©{
文无 文无
文无G
1
/生式
A 0A1, A B, B #
A0, 1, #
1
2
3 2直至
最左最左
Ç
þe©Ã'©{
文无 文无
文无G
1
/生式
A 0A1, A B, B #
A0, 1, #
1
2
3 2直至
最左最左
Ç
þe©Ã'©{
文无 文无
文无G
1
/生式
A 0A1, A B, B #
A0, 1, #
1
2
3 2直至
最左最左
Ç
þe©Ã'©{
文无 文无
文无G
1
/生式
A 0A1, A B, B #
A0, 1, #
1
2
3 2直至
最左最左
Ç
þe©Ã'©{
文无 文无
文无G
1
/生式
A 0A1, A B, B #
A0, 1, #
1
2
3 2直至
最左最左
Ç
þe©Ã'©{
文无 文无
A 0A1
A B
B #
000#111
A 0A1 00A11 000A111 000B111 000#111
Ç
þe©Ã'©{
文无 文无
A 0A1
A B
B #
000#111
A
0A1 00A11 000A111 000B111 000#111
Ç
þe©Ã'©{
文无 文无
A 0A1
A B
B #
000#111
A 0A1
00A11 000A111 000B111 000#111
Ç
þe©Ã'©{
文无 文无
A 0A1
A B
B #
000#111
A 0A1 00A11
000A111 000B111 000#111
Ç
þe©Ã'©{
文无 文无
A 0A1
A B
B #
000#111
A 0A1 00A11 000A111
000B111 000#111
Ç
þe©Ã'©{
文无 文无
A 0A1
A B
B #
000#111
A 0A1 00A11 000A111 000B111
000#111
Ç
þe©Ã'©{
文无 文无
A 0A1
A B
B #
000#111
A 0A1 00A11 000A111 000B111 000#111
Ç
þe©Ã'©{
文无 文无
文无的定
½Â1 (þe©Ã'©{(context-free grammar CFG))
þe©Ã'©{´4|(V,
P
, R, S)§
1 k8ÜV ¡C8
2
P
´V Øk8ܧ¡ª(Î8
3 k5K8R¥5KdCÚdC9ª(
Î|¤iÎG¤
4 å©CS V
Ç
þe©Ã'©{
文无 文无
文无的定
½Â1 (þe©Ã'©{(context-free grammar CFG))
þe©Ã'©{´4|(V,
P
, R, S)§
1 k8ÜV ¡C8
2
P
´V Øk8ܧ¡ª(Î8
3 k5K8R¥5KdCÚdC9ª(
Î|¤iÎG¤
4 å©CS V
Ç
þe©Ã'©{
文无 文无
文无的定
½Â1 (þe©Ã'©{(context-free grammar CFG))
þe©Ã'©{´4|(V,
P
, R, S)§
1 k8ÜV ¡C8
2
P
´V Øk8ܧ¡ª(Î8
3 k5K8R¥5KdCÚdC9ª(
Î|¤iÎG¤
4 å©CS V
Ç
þe©Ã'©{
文无 文无
文无的定
½Â1 (þe©Ã'©{(context-free grammar CFG))
þe©Ã'©{´4|(V,
P
, R, S)§
1 k8ÜV ¡C8
2
P
´V Øk8ܧ¡ª(Î8
3 k5K8R¥5KdCÚdC9ª(
Î|¤iÎG¤
4 å©CS V
Ç
þe©Ã'©{
文无 文无
文无的定
½Â1 (þe©Ã'©{(context-free grammar CFG))
þe©Ã'©{´4|(V,
P
, R, S)§
1 k8ÜV ¡C8
2
P
´V Øk8ܧ¡ª(Î8
3 k5K8R¥5KdCÚdC9ª(
Î|¤iÎG¤
4 å©CS V
Ç
þe©Ã'©{
文无 文无
文无的定
½Â1 (þe©Ã'©{(context-free grammar CFG))
þe©Ã'©{´4|(V,
P
, R, S)§
1 k8ÜV ¡C8
2
P
´V Øk8ܧ¡ª(Î8
3 k5K8R¥5KdCÚdC9ª(
Î|¤iÎG¤
4 å©CS V
Ç
þe©Ã'©{
文无 文无
文无的定
u, v, ωA ω
uAvuwvuAv uwv
u = vu
1
, · · · , u
k
使
u u
1
· · · u
k
v
uvu
v
{ω
P
|S
ω}
文无文无
(CFL)
Ç
þe©Ã'©{
文无 文无
文无的定
u, v, ωA ω
uAvuwvuAv uwv
u = vu
1
, · · · , u
k
使
u u
1
· · · u
k
v
uvu
v
{ω
P
|S
ω}
文无文无
(CFL)
Ç
þe©Ã'©{
文无 文无
文无的定
u, v, ωA ω
uAvuwvuAv uwv
u = vu
1
, · · · , u
k
使
u u
1
· · · u
k
v
uvu
v
{ω
P
|S
ω}
文无文无
(CFL)
Ç
þe©Ã'©{
文无 文无
文无的定
u, v, ωA ω
uAvuwvuAv uwv
u = vu
1
, · · · , u
k
使
u u
1
· · · u
k
v
uvu
v
{ω
P
|S
ω}
文无文无
(CFL)
Ç
þe©Ã'©{
文无 文无
文无的定
1
Ñ©{Gµ
S aAb | bBa
A aAb | bBa
B c
½aabcabb´ÄUdÙ)Ѻ
Ç
þe©Ã'©{
文无 文无
文无的定
向下
1 由于定的aS aAb
S aAb
2 由于中只AaA aAb
aAb aaAbb
3 由于中只AbA bBa
aaAbb aabBabb
4 由于中只BB c
aabBabb aabcabb
Ç
þe©Ã'©{
文无 文无
文无的定
向下
1 由于定的aS aAb
S aAb
2 由于中只AaA aAb
aAb aaAbb
3 由于中只AbA bBa
aaAbb aabBabb
4 由于中只BB c
aabBabb aabcabb
Ç
þe©Ã'©{
文无 文无
文无的定
向下
1 由于定的aS aAb
S aAb
2 由于中只AaA aAb
aAb aaAbb
3 由于中只AbA bBa
aaAbb aabBabb
4 由于中只BB c
aabBabb aabcabb
Ç
þe©Ã'©{
文无 文无
文无的定
向下
1 由于定的aS aAb
S aAb
2 由于中只AaA aAb
aAb aaAbb
3 由于中只AbA bBa
aaAbb aabBabb
4 由于中只BB c
aabBabb aabcabb
Ç
þe©Ã'©{
文无 文无
文无的定
向下
1 由于定的aS aAb
S aAb
2 由于中只AaA aAb
aAb aaAbb
3 由于中只AbA bBa
aaAbb aabBabb
4 由于中只BB c
aabBabb aabcabb
Ç
þe©Ã'©{
文无 文无
文无的定
法分(V,
P
, R, S)5法分
点的S
点的V
点的终止ε
点的ε
点的A,点的
X
1
, X
2
, · · · , X
k
A X
1
X
2
· · · X
k
生式
A 0A1 | B, B #000#111法分
Ç
þe©Ã'©{
文无 文无
文无的定
法分(V,
P
, R, S)5法分
点的S
点的V
点的终止ε
点的ε
点的A,点的
X
1
, X
2
, · · · , X
k
A X
1
X
2
· · · X
k
生式
A 0A1 | B, B #000#111法分
Ç
þe©Ã'©{
文无 文无
文无的定
法分(V,
P
, R, S)5法分
点的S
点的V
点的终止ε
点的ε
点的A,点的
X
1
, X
2
, · · · , X
k
A X
1
X
2
· · · X
k
生式
A 0A1 | B, B #000#111法分
Ç
þe©Ã'©{
文无 文无
文无的定
法分(V,
P
, R, S)5法分
点的S
点的V
点的终止ε
点的ε
点的A,点的
X
1
, X
2
, · · · , X
k
A X
1
X
2
· · · X
k
生式
A 0A1 | B, B #000#111法分
Ç
þe©Ã'©{
文无 文无
文无的定
法分(V,
P
, R, S)5法分
点的S
点的V
点的终止ε
点的ε
点的A,点的
X
1
, X
2
, · · · , X
k
A X
1
X
2
· · · X
k
生式
A 0A1 | B, B #000#111法分
Ç
þe©Ã'©{
文无 文无
文无的定
法分(V,
P
, R, S)5法分
点的S
点的V
点的终止ε
点的ε
点的A,点的
X
1
, X
2
, · · · , X
k
A X
1
X
2
· · · X
k
生式
A 0A1 | B, B #000#111法分
Ç
þe©Ã'©{
文无 文无
文无的定
法分(V,
P
, R, S)5法分
点的S
点的V
点的终止ε
点的ε
点的A,点的
X
1
, X
2
, · · · , X
k
A X
1
X
2
· · · X
k
生式
A 0A1 | B, B #000#111法分
Ç
þe©Ã'©{
文无 文无
文无~
2 (O)¤kÒG©{)
G = ({B}, {(, )}, P, B)
ÒG¤GE,´Ò
µ
B BB
^ÒrÒGåE,´Ò
µ
B (B)
G´ÒGµ
B ε
=P ¹B BB | (B) | ε
L(G)Ø´Kó
Ç
þe©Ã'©{
文无 文无
文无~
2 (O)¤kÒG©{)
G = ({B}, {(, )}, P, B)
ÒG¤GE,´Ò
µ
B BB
^ÒrÒGåE,´Ò
µ
B (B)
G´ÒGµ
B ε
=P ¹B BB | (B) | ε
L(G)Ø´Kó
Ç
þe©Ã'©{
文无 文无
文无~
2 (O)¤kÒG©{)
G = ({B}, {(, )}, P, B)
ÒG¤GE,´Ò
µ
B BB
^ÒrÒGåE,´Ò
µ
B (B)
G´ÒGµ
B ε
=P ¹B BB | (B) | ε
L(G)Ø´Kó
Ç
þe©Ã'©{
文无 文无
文无~
2 (O)¤kÒG©{)
G = ({B}, {(, )}, P, B)
ÒG¤GE,´Ò
µB BB
^ÒrÒGåE,´Ò
µ
B (B)
G´ÒGµ
B ε
=P ¹B BB | (B) | ε
L(G)Ø´Kó
Ç
þe©Ã'©{
文无 文无
文无~
2 (O)¤kÒG©{)
G = ({B}, {(, )}, P, B)
ÒG¤GE,´Ò
µB BB
^ÒrÒGåE,´Ò
µB (B)
G´ÒGµ
B ε
=P ¹B BB | (B) | ε
L(G)Ø´Kó
Ç
þe©Ã'©{
文无 文无
文无~
2 (O)¤kÒG©{)
G = ({B}, {(, )}, P, B)
ÒG¤GE,´Ò
µB BB
^ÒrÒGåE,´Ò
µB (B)
G´ÒGµ
B ε
=P ¹B BB | (B) | ε
L(G)Ø´Kó
Ç
þe©Ã'©{
文无 文无
文无~
2 (O)¤kÒG©{)
G = ({B}, {(, )}, P, B)
ÒG¤GE,´Ò
µB BB
^ÒrÒGåE,´Ò
µB (B)
G´ÒGµ
B ε
=P ¹B BB | (B) | ε
L(G)Ø´Kó
Ç
þe©Ã'©{
文无 文无
文无~
2 (O)¤kÒG©{)
G = ({B}, {(, )}, P, B)
ÒG¤GE,´Ò
µB BB
^ÒrÒGåE,´Ò
µB (B)
G´ÒGµB ε
=P ¹B BB | (B) | ε
L(G)Ø´Kó
Ç
þe©Ã'©{
文无 文无
文无~
2 (O)¤kÒG©{)
G = ({B}, {(, )}, P, B)
ÒG¤GE,´Ò
µB BB
^ÒrÒGåE,´Ò
µB (B)
G´ÒGµB ε
=P ¹B BB | (B) | ε
L(G)Ø´Kó
Ç
þe©Ã'©{
文无 文无
文无~
2 (O)¤kÒG©{)
G = ({B}, {(, )}, P, B)
ÒG¤GE,´Ò
µB BB
^ÒrÒGåE,´Ò
µB (B)
G´ÒGµB ε
=P ¹B BB | (B) | ε
L(G)Ø´Kó
Ç
þe©Ã'©{
文无 文无
文无~
3 (é+, ×, ( )ÎÜâOgSLªCFG)
Lª±´ü/0½ö´,Lª/0
/Ú0
±´ü/Ïf0½/Ïf0/¦È0
Ïf±´ü~½´,/£¤0Lª
Ç
þe©Ã'©{
文无 文无
文无~
3 (é+, ×, ( )ÎÜâOgSLªCFG)
Lª±´ü/0½ö´,Lª/0
/Ú0
±´ü/Ïf0½/Ïf0/¦È0
Ïf±´ü~½´,/£¤0Lª
Ç
þe©Ã'©{
文无 文无
文无~
3 (é+, ×, ( )ÎÜâOgSLªCFG)
Lª±´ü/0½ö´,Lª/0
/Ú0
±´ü/Ïf0½/Ïf0/¦È0
Ïf±´ü~½´,/£¤0Lª
Ç
þe©Ã'©{
文无 文无
文无~
3 (é+, ×, ( )ÎÜâOgSLªCFG)
Lª±´ü/0½ö´,Lª/0
/Ú0
±´ü/Ïf0½/Ïf0/¦È0
Ïf±´ü~½´,/£¤0Lª
Ç
þe©Ã'©{
文无 文无
文无~
4 (é+, ×, ()ÎÜâOgSCFG)
Ä©{G = (V,
P
, R, < EXP R >),Ù¥
V = {< EXP R >, < T ERM >, < F ACT OR >}
X
= {a, +, ×, (, )}
5K8Ü
< EXP R >
< EXP R > + < T ERM > | < T ERM >
< T ERM > < T ERM > × < F ACT OR > | < F ACT OR >
< F ACT OR > (< EXP R >)|a
a + a × a, (a + a) × a, a × (a + a) + a
Ç
þe©Ã'©{
文无 文无
文无~
4 (é+, ×, ()ÎÜâOgSCFG)
Ä©{G = (V,
P
, R, < EXP R >),Ù¥
V = {< EXP R >, < T ERM >, < F ACT OR >}
X
= {a, +, ×, (, )}
5K8Ü
< EXP R > < EXP R > + < T ERM >
| < T ERM >
< T ERM > < T ERM > × < F ACT OR > | < F ACT OR >
< F ACT OR > (< EXP R >)|a
a + a × a, (a + a) × a, a × (a + a) + a
Ç
þe©Ã'©{
文无 文无
文无~
4 (é+, ×, ()ÎÜâOgSCFG)
Ä©{G = (V,
P
, R, < EXP R >),Ù¥
V = {< EXP R >, < T ERM >, < F ACT OR >}
X
= {a, +, ×, (, )}
5K8Ü
< EXP R > < EXP R > + < T ERM > | < T ERM >
< T ERM > < T ERM > × < F ACT OR > | < F ACT OR >
< F ACT OR > (< EXP R >)|a
a + a × a, (a + a) × a, a × (a + a) + a
Ç
þe©Ã'©{
文无 文无
文无~
4 (é+, ×, ()ÎÜâOgSCFG)
Ä©{G = (V,
P
, R, < EXP R >),Ù¥
V = {< EXP R >, < T ERM >, < F ACT OR >}
X
= {a, +, ×, (, )}
5K8Ü
< EXP R > < EXP R > + < T ERM > | < T ERM >
< T ERM >
< T ERM > × < F ACT OR > | < F ACT OR >
< F ACT OR > (< EXP R >)|a
a + a × a, (a + a) × a, a × (a + a) + a
Ç
þe©Ã'©{
文无 文无
文无~
4 (é+, ×, ()ÎÜâOgSCFG)
Ä©{G = (V,
P
, R, < EXP R >),Ù¥
V = {< EXP R >, < T ERM >, < F ACT OR >}
X
= {a, +, ×, (, )}
5K8Ü
< EXP R > < EXP R > + < T ERM > | < T ERM >
< T ERM > < T ERM > × < F ACT OR > | < F ACT OR >
< F ACT OR > (< EXP R >)|a
a + a × a, (a + a) × a, a × (a + a) + a
Ç
þe©Ã'©{
文无 文无
文无~
4 (é+, ×, ()ÎÜâOgSCFG)
Ä©{G = (V,
P
, R, < EXP R >),Ù¥
V = {< EXP R >, < T ERM >, < F ACT OR >}
X
= {a, +, ×, (, )}
5K8Ü
< EXP R > < EXP R > + < T ERM > | < T ERM >
< T ERM > < T ERM > × < F ACT OR > | < F ACT OR >
< F ACT OR >
(< EXP R >)|a
a + a × a, (a + a) × a, a × (a + a) + a
Ç
þe©Ã'©{
文无 文无
文无~
4 (é+, ×, ()ÎÜâOgSCFG)
Ä©{G = (V,
P
, R, < EXP R >),Ù¥
V = {< EXP R >, < T ERM >, < F ACT OR >}
X
= {a, +, ×, (, )}
5K8Ü
< EXP R > < EXP R > + < T ERM > | < T ERM >
< T ERM > < T ERM > × < F ACT OR > | < F ACT OR >
< F ACT OR > (< EXP R >)|a
a + a × a, (a + a) × a, a × (a + a) + a
Ç
þe©Ã'©{
文无 文无
文无~
4 (é+, ×, ()ÎÜâOgSCFG)
Ä©{G = (V,
P
, R, < EXP R >),Ù¥
V = {< EXP R >, < T ERM >, < F ACT OR >}
X
= {a, +, ×, (, )}
5K8Ü
< EXP R > < EXP R > + < T ERM > | < T ERM >
< T ERM > < T ERM > × < F ACT OR > | < F ACT OR >
< F ACT OR > (< EXP R >)|a
a + a × a, (a + a) × a, a × (a + a) + a
Ç
þe©Ã'©{
文无 文无
文无~
hEi hEi + hEi | hEi × hEi | (hEi) | a
a + a × a
hEi hEi + hEi hEi + hEi × hEi a + a × a
½Â2 (XJiÎGω3þe©Ã'©{G¥k½
±þØÓ())§K¡GÜÂ/)ω")
Ç
þe©Ã'©{
文无 文无
文无~
hEi hEi + hEi | hEi × hEi | (hEi) | a
a + a × a
hEi hEi + hEi hEi + hEi × hEi a + a × a
½Â2 (XJiÎGω3þe©Ã'©{G¥k½
±þØÓ())§K¡GÜÂ/)ω")
Ç
þe©Ã'©{
文无 文无
文无~
hEi hEi + hEi | hEi × hEi | (hEi) | a
a + a × a
hEi hEi × hEi hEi + hEi × hEi a + a × a
hEi hEi + hEi hEi + hEi × hEi a + a × a
½Â2 (XJiÎGω3þe©Ã'©{G¥k½
±þØÓ())§K¡GÜÂ/)ω")
Ç
þe©Ã'©{
文无 文无
文无~
hEi hEi + hEi | hEi × hEi | (hEi) | a
a + a × a
hEi hEi + hEi hEi + hEi × hEi a + a × a
½Â2 (XJiÎGω3þe©Ã'©{G¥k½
±þØÓ())§K¡GÜÂ/)ω")
Ç
þe©Ã'©{
文无 文无
文无~
hEi hEi + hEi | hEi × hEi | (hEi) | a
a + a × a
hEi hEi + hEi hEi + hEi × hEi a + a × a
½Â2 (XJiÎGω3þe©Ã'©{G¥k½
±þØÓ())§K¡GÜÂ/)ω")
Ç
þe©Ã'©{
文无 文无
文无
CFLGCFLG
i
, i = 1, · · · , n
GG
i
, i = 1, · · · , n
S S
1
| S
2
| · · · | S
n
G之中
S
i
G
i
DFAq
i
义一R
i
δ(q
i
, a) = q
j
R
i
aR
j
CFG
q
i
R
i
εCFG
q
0
R
0
CFG
Ç
þe©Ã'©{
文无 文无
文无
CFLGCFLG
i
, i = 1, · · · , n
GG
i
, i = 1, · · · , n
S S
1
| S
2
| · · · | S
n
G之中
S
i
G
i
DFAq
i
义一R
i
δ(q
i
, a) = q
j
R
i
aR
j
CFG
q
i
R
i
εCFG
q
0
R
0
CFG
Ç
þe©Ã'©{
文无 文无
文无
CFLGCFLG
i
, i = 1, · · · , n
GG
i
, i = 1, · · · , n
S S
1
| S
2
| · · · | S
n
G之中
S
i
G
i
DFAq
i
义一R
i
δ(q
i
, a) = q
j
R
i
aR
j
CFG
q
i
R
i
εCFG
q
0
R
0
CFG
Ç
þe©Ã'©{
文无 文无
文无
CFLGCFLG
i
, i = 1, · · · , n
GG
i
, i = 1, · · · , n
S S
1
| S
2
| · · · | S
n
G之中
S
i
G
i
DFAq
i
义一R
i
δ(q
i
, a) = q
j
R
i
aR
j
CFG
q
i
R
i
εCFG
q
0
R
0
CFG
Ç
þe©Ã'©{
文无 文无
文无
CFLGCFLG
i
, i = 1, · · · , n
GG
i
, i = 1, · · · , n
S S
1
| S
2
| · · · | S
n
G之中
S
i
G
i
DFAq
i
义一R
i
δ(q
i
, a) = q
j
R
i
aR
j
CFG
q
i
R
i
εCFG
q
0
R
0
CFG
Ç
þe©Ã'©{
文无 文无
文无
CFLGCFLG
i
, i = 1, · · · , n
GG
i
, i = 1, · · · , n
S S
1
| S
2
| · · · | S
n
G之中
S
i
G
i
DFAq
i
义一R
i
δ(q
i
, a) = q
j
R
i
aR
j
CFG
q
i
R
i
εCFG
q
0
R
0
CFG
Ç
þe©Ã'©{
文无 文无
文无
CFLGCFLG
i
, i = 1, · · · , n
GG
i
, i = 1, · · · , n
S S
1
| S
2
| · · · | S
n
G之中
S
i
G
i
DFAq
i
义一R
i
δ(q
i
, a) = q
j
R
i
aR
j
CFG
q
i
R
i
εCFG
q
0
R
0
CFG
Ç
þe©Ã'©{
文无 文无
文无
CFLGCFLG
i
, i = 1, · · · , n
GG
i
, i = 1, · · · , n
S S
1
| S
2
| · · · | S
n
G之中
S
i
G
i
DFAq
i
义一R
i
δ(q
i
, a) = q
j
R
i
aR
j
CFG
q
i
R
i
εCFG
q
0
R
0
CFG
Ç
þe©Ã'©{
文无 文无
文无
CFLGCFLG
i
, i = 1, · · · , n
GG
i
, i = 1, · · · , n
S S
1
| S
2
| · · · | S
n
G之中
S
i
G
i
DFAq
i
义一R
i
δ(q
i
, a) = q
j
R
i
aR
j
CFG
q
i
R
i
εCFG
q
0
R
0
CFG
Ç
þe©Ã'©{
文无 文无
文无
CFLGCFLG
i
, i = 1, · · · , n
GG
i
, i = 1, · · · , n
S S
1
| S
2
| · · · | S
n
G之中
S
i
G
i
DFAq
i
义一R
i
δ(q
i
, a) = q
j
R
i
aR
j
CFG
q
i
R
i
εCFG
q
0
R
0
CFG
Ç
þe©Ã'©{
文无 文无
文无
5 (E{0
n
1
n
|n 0} {1
n
0
n
|n 0}©{)
{0
n
1
n
|n 0}©{Eµ
S
1
0S
1
1 | ε
{1
n
0
n
|n 0}©{Eµ
S
2
1S
2
0 | ε
S S
1
| S
2
Ç
þe©Ã'©{
文无 文无
文无
5 (E{0
n
1
n
|n 0} {1
n
0
n
|n 0}©{)
{0
n
1
n
|n 0}©{Eµ
S
1
0S
1
1 | ε
{1
n
0
n
|n 0}©{Eµ
S
2
1S
2
0 | ε
S S
1
| S
2
Ç
þe©Ã'©{
文无 文无
文无
5 (E{0
n
1
n
|n 0} {1
n
0
n
|n 0}©{)
{0
n
1
n
|n 0}©{EµS
1
0S
1
1 | ε
{1
n
0
n
|n 0}©{Eµ
S
2
1S
2
0 | ε
S S
1
| S
2
Ç
þe©Ã'©{
文无 文无
文无
5 (E{0
n
1
n
|n 0} {1
n
0
n
|n 0}©{)
{0
n
1
n
|n 0}©{EµS
1
0S
1
1 | ε
{1
n
0
n
|n 0}©{EµS
2
1S
2
0 | ε
S S
1
| S
2
Ç
þe©Ã'©{
文无 文无
文无
5 (E{0
n
1
n
|n 0} {1
n
0
n
|n 0}©{)
{0
n
1
n
|n 0}©{EµS
1
0S
1
1 | ε
{1
n
0
n
|n 0}©{EµS
2
1S
2
0 | ε
S S
1
| S
2
Ç
þe©Ã'©{
文无 文无
文无
6 (E£O±eó©{)
1 {w|w¹31}
2 {w|wÝ´Ûê¥mÎÒ´0}
3 {wcw
R
|w {a, b}
}
4 {w|w¥aê8'bõ, w {a, b}
}
Ç
þe©Ã'©{
文无 文无
z
½Â3 (0dĪ)
XJþe©Ã'©{z5KÑäkXe/ªµ
A BC, A a
Ù¥a´ª(ΧA, B, C´?¿CB, CØ´å©C"
Ó#NS ε§Ù¥Så©C§K¡Ù0dÄ
ª"
½1
?¿þe©Ã'©{ѱ^0dĪþe©
Ã'©{)"
Ç
þe©Ã'©{
文无 文无
z
½Â3 (0dĪ)
XJþe©Ã'©{z5KÑäkXe/ªµ
A BC, A a
Ù¥a´ª(ΧA, B, C´?¿CB, CØ´å©C"
Ó#NS ε§Ù¥Så©C§K¡Ù0dÄ
ª"
½1
?¿þe©Ã'©{ѱ^0dĪþe©
Ã'©{)"
Ç
þe©Ã'©{
文无 文无
z
7 (0dĪ=)
#å©CV\µV\#å©CS
0
±95
KS
0
Sµ
S
0
S
S ASA | aB S ASA | aB
A B | S A B | S
B b | ε B b | ε
Ç
þe©Ã'©{
文无 文无
z
7 (0dĪ=)
#å©CV\µV\#å©CS
0
±95
KS
0
Sµ
S
0
S
S ASA | aB S ASA | aB
A B | S A B | S
B b | ε B b | ε
Ç
þe©Ã'©{
文无 文无
z
7 (0dĪ=)
#å©CV\µV\#å©CS
0
±95
KS
0
Sµ
S
0
S
S ASA | aB
S ASA | aB
A B | S
A B | S
B b | ε
B b | ε
Ç
þe©Ã'©{
文无 文无
z
7 (0dĪ=)
#å©CV\µV\#å©CS
0
±95
KS
0
Sµ
S
0
S
S ASA | aB
S ASA | aB
A B | S
A B | S
B b | ε
B b | ε
Ç
þe©Ã'©{
文无 文无
z
7 (0dĪ=)
#å©CV\µV\#å©CS
0
±95
KS
0
Sµ
S
0
S
S ASA | aB S ASA | aB
A B | S A B | S
B b | ε B b | ε
Ç
þe©Ã'©{
文无 文无
z
εA ε
AA得到
R uAv
R uv
R uAvAw
R uvAw, R uAvw, R uvw
R A
R ε
直至)ε
Ç
þe©Ã'©{
文无 文无
z
εA ε
AA得到
R uAv
R uv
R uAvAw
R uvAw, R uAvw, R uvw
R A
R ε
直至)ε
Ç
þe©Ã'©{
文无 文无
z
εA ε
AA得到
R uAv
R uv
R uAvAw
R uvAw, R uAvw, R uvw
R A
R ε
直至)ε
Ç
þe©Ã'©{
文无 文无
z
εA ε
AA得到
R uAvR uv
R uAvAw
R uvAw, R uAvw, R uvw
R A
R ε
直至)ε
Ç
þe©Ã'©{
文无 文无
z
εA ε
AA得到
R uAvR uv
R uAvAw
R uvAw, R uAvw, R uvw
R A
R ε
直至)ε
Ç
þe©Ã'©{
文无 文无
z
εA ε
AA得到
R uAvR uv
R uAvAwR uvAw, R uAvw, R uvw
R A
R ε
直至)ε
Ç
þe©Ã'©{
文无 文无
z
εA ε
AA得到
R uAvR uv
R uAvAwR uvAw, R uAvw, R uvw
R A
R ε
直至)ε
Ç
þe©Ã'©{
文无 文无
z
εA ε
AA得到
R uAvR uv
R uAvAwR uvAw, R uAvw, R uvw
R AR ε
直至)ε
Ç
þe©Ã'©{
文无 文无
z
εA ε
AA得到
R uAvR uv
R uAvAwR uvAw, R uAvw, R uvw
R AR ε
直至)ε
Ç
þe©Ã'©{
文无 文无
z
εA ε
S
0
S
S
0
S S
0
S
S ASA | aB
S ASA | aB | a S ASA | aB | a | SA | AS
| AS | S
A B | S
A B | S | ε A B | S
B b | ε
B b B b
Ç
þe©Ã'©{
文无 文无
z
εA ε
S
0
S
S
0
S S
0
S
S ASA | aB
S ASA | aB | a S ASA | aB | a | SA | AS
| AS | S
A B | S
A B | S | ε A B | S
B b | ε B b
B b
Ç
þe©Ã'©{
文无 文无
z
εA ε
S
0
S
S
0
S S
0
S
S ASA | aB
S ASA | aB | a S ASA | aB | a | SA | AS
| AS | S
A B | S A B | S | ε
A B | S
B b | ε B b
B b
Ç
þe©Ã'©{
文无 文无
z
εA ε
S
0
S
S
0
S S
0
S
S ASA | aB S ASA | aB | a
S ASA | aB | a | SA | AS
| AS | S
A B | S A B | S | ε
A B | S
B b | ε B b
B b
Ç
þe©Ã'©{
文无 文无
z
εA ε
S
0
S S
0
S
S
0
S
S ASA | aB S ASA | aB | a
S ASA | aB | a | SA | AS
| AS | S
A B | S A B | S | ε
A B | S
B b | ε B b
B b
Ç
þe©Ã'©{
文无 文无
z
εA ε
S
0
S S
0
S
S
0
S
S ASA | aB S ASA | aB | a
S ASA | aB | a | SA | AS
| AS | S
A B | S A B | S | ε A B | S
B b | ε B b
B b
Ç
þe©Ã'©{
文无 文无
z
εA ε
S
0
S S
0
S
S
0
S
S ASA | aB S ASA | aB | a S ASA | aB | a | SA | AS
| AS | S
A B | S A B | S | ε A B | S
B b | ε B b
B b
Ç
þe©Ã'©{
文无 文无
z
εA ε
S
0
S S
0
S S
0
S
S ASA | aB S ASA | aB | a S ASA | aB | a | SA | AS
| AS | S
A B | S A B | S | ε A B | S
B b | ε B b B b
Ç
þe©Ã'©{
文无 文无
z
A B,
B uA u()
S
0
S
S
0
S
S ASA | aB | a
S ASA | aB | a
| SA | AS | S
| SA | AS
A B | S
A B | S
B b
B b
Ç
þe©Ã'©{
文无 文无
z
A B,
B uA u()
S
0
S
S
0
S
S ASA | aB | a S ASA | aB | a
| SA | AS | S | SA | AS
A B | S
A B | S
B b
B b
Ç
þe©Ã'©{
文无 文无
z
A B,
B uA u()
S
0
S S
0
S
S ASA | aB | a S ASA | aB | a
| SA | AS | S | SA | AS
A B | S A B | S
B b
B b
Ç
þe©Ã'©{
文无 文无
z
A B,
B uA u()
S
0
S S
0
S
S ASA | aB | a S ASA | aB | a
| SA | AS | S | SA | AS
A B | S A B | S
B b B b
Ç
þe©Ã'©{
文无 文无
z
S
0
S
S
0
ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
A B|S
A B|S
B b
B b
Ç
þe©Ã'©{
文无 文无
z
S
0
S S
0
ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
A B|S
A B|S
B b
B b
Ç
þe©Ã'©{
文无 文无
z
S
0
S S
0
ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS S ASA|aB|a|SA|AS
A B|S A B|S
B b B b
Ç
þe©Ã'©{
文无 文无
z
S
0
ASA|aB|a|SA|AS
S
0
ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
A B|S
A S|b
B b
B b
Ç
þe©Ã'©{
文无 文无
z
S
0
ASA|aB|a|SA|AS
S
0
ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
A B|S A S|b
B b
B b
Ç
þe©Ã'©{
文无 文无
z
S
0
ASA|aB|a|SA|AS S
0
ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS S ASA|aB|a|SA|AS
A B|S A S|b
B b B b
Ç
þe©Ã'©{
文无 文无
z
S
0
ASA|aB|a|SA|AS
S
0
ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
A S|b
A b|ASA|aB|a|SA|AS
B b
B b
Ç
þe©Ã'©{
文无 文无
z
S
0
ASA|aB|a|SA|AS
S
0
ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS
A S|b A b|ASA|aB|a|SA|AS
B b
B b
Ç
þe©Ã'©{
文无 文无
z
S
0
ASA|aB|a|SA|AS S
0
ASA|aB|a|SA|AS
S ASA|aB|a|SA|AS S ASA|aB|a|SA|AS
A S|b A b|ASA|aB|a|SA|AS
B b B b
Ç
þe©Ã'©{
文无 文无
z
和规使
A u
1
u
2
· · · u
k
k 3A u
1
A
1
, A
1
u
2
A
2
, · · · , A
k2
u
k1
u
k
k = 2U
i
u
i
U
i
u
i
Ç
þe©Ã'©{
文无 文无
z
和规使
A u
1
u
2
· · · u
k
k 3A u
1
A
1
, A
1
u
2
A
2
, · · · , A
k2
u
k1
u
k
k = 2U
i
u
i
U
i
u
i
Ç
þe©Ã'©{
文无 文无
z
和规使
A u
1
u
2
· · · u
k
k 3A u
1
A
1
, A
1
u
2
A
2
, · · · , A
k2
u
k1
u
k
k = 2U
i
u
i
U
i
u
i
Ç
þe©Ã'©{
文无 文无
z
和规使
A u
1
u
2
· · · u
k
k 3A u
1
A
1
, A
1
u
2
A
2
, · · · , A
k2
u
k1
u
k
k = 2U
i
u
i
U
i
u
i
Ç
þe©Ã'©{
文无 文无
z
和规使
S
0
ASA|aB|a|SA|AS
S
0
AA
1
|UB|a|SA|AS
S ASA|aB|a|SA|AS
S AA
1
|UB|a|SA|AS
A b|ASA|aB|a|SA|AS
A b|AA
1
|UB|a|SA|AS
B b
B b
U a
A
1
SA
½2 ( G´0dĪCFG§Kéu?Ý
n 1iÎGw L(G)§ÏLCFG GòÙ)ÑÐ
I2n 1Ú")
Ç
þe©Ã'©{
文无 文无
z
和规使
S
0
ASA|aB|a|SA|AS
S
0
AA
1
|UB|a|SA|AS
S ASA|aB|a|SA|AS
S AA
1
|UB|a|SA|AS
A b|ASA|aB|a|SA|AS
A b|AA
1
|UB|a|SA|AS
B b B b
U a
A
1
SA
½2 ( G´0dĪCFG§Kéu?Ý
n 1iÎGw L(G)§ÏLCFG GòÙ)ÑÐ
I2n 1Ú")
Ç
þe©Ã'©{
文无 文无
z
和规使
S
0
ASA|aB|a|SA|AS
S
0
AA
1
|UB|a|SA|AS
S ASA|aB|a|SA|AS
S AA
1
|UB|a|SA|AS
A b|ASA|aB|a|SA|AS
A b|AA
1
|UB|a|SA|AS
B b B b
U a
A
1
SA
½2 ( G´0dĪCFG§Kéu?Ý
n 1iÎGw L(G)§ÏLCFG GòÙ)ÑÐ
I2n 1Ú")
Ç
þe©Ã'©{
文无 文无
z
和规使
S
0
ASA|aB|a|SA|AS S
0
AA
1
|UB|a|SA|AS
S ASA|aB|a|SA|AS S AA
1
|UB|a|SA|AS
A b|ASA|aB|a|SA|AS A b|AA
1
|UB|a|SA|AS
B b B b
U a
A
1
SA
½2 ( G´0dĪCFG§Kéu?Ý
n 1iÎGw L(G)§ÏLCFG GòÙ)ÑÐ
I2n 1Ú")
Ç
þe©Ã'©{
文无 文无
z
和规使
S
0
ASA|aB|a|SA|AS S
0
AA
1
|UB|a|SA|AS
S ASA|aB|a|SA|AS S AA
1
|UB|a|SA|AS
A b|ASA|aB|a|SA|AS A b|AA
1
|UB|a|SA|AS
B b B b
U a
A
1
SA
½2 ( G´0dĪCFG§Kéu?Ý
n 1iÎGw L(G)§ÏLCFG GòÙ)ÑÐ
I2n 1Ú")
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
(PDA)þ
()
)在栈
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
(PDA)þ
()
)在栈
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
½Â4 (((½.)PDA:(Q,
P
, Γ, δ, q
0
, F ))
Q´(k)G8
P
´(k)Ñ\i1L
Γ´(k)Òi1L
δ : Q ×
P
ε
×Γ
ε
P(Q × Γ
ε
),Ù¥
X
ε
=
X
∪{ε}, Γ
ε
= Γ {ε}
q
0
´å©G
F Q´(k)ÉG8
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
w = w
1
w
2
· · · w
m
, w
i
P
r
0
, r
1
, · · · , r
m
Q
s
0
, s
1
, · · · , s
m
Γ
1 r
0
= q
0
, s
0
=
2 (r
i+1
, b) δ(r
i
, w
i+1
, a), i = 0, 1, · · · , m 1
s
i
= at, s
i+1
= bt
3 r
m
F
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
w = w
1
w
2
· · · w
m
, w
i
P
r
0
, r
1
, · · · , r
m
Q
s
0
, s
1
, · · · , s
m
Γ
1 r
0
= q
0
, s
0
=
2 (r
i+1
, b) δ(r
i
, w
i+1
, a), i = 0, 1, · · · , m 1
s
i
= at, s
i+1
= bt
3 r
m
F
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
w = w
1
w
2
· · · w
m
, w
i
P
r
0
, r
1
, · · · , r
m
Q
s
0
, s
1
, · · · , s
m
Γ
1 r
0
= q
0
, s
0
=
2 (r
i+1
, b) δ(r
i
, w
i+1
, a), i = 0, 1, · · · , m 1
s
i
= at, s
i+1
= bt
3 r
m
F
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
w = w
1
w
2
· · · w
m
, w
i
P
r
0
, r
1
, · · · , r
m
Q
s
0
, s
1
, · · · , s
m
Γ
1 r
0
= q
0
, s
0
=
2 (r
i+1
, b) δ(r
i
, w
i+1
, a), i = 0, 1, · · · , m 1
s
i
= at, s
i+1
= bt
3 r
m
F
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
w = w
1
w
2
· · · w
m
, w
i
P
r
0
, r
1
, · · · , r
m
Q
s
0
, s
1
, · · · , s
m
Γ
1 r
0
= q
0
, s
0
=
2 (r
i+1
, b) δ(r
i
, w
i+1
, a), i = 0, 1, · · · , m 1
s
i
= at, s
i+1
= bt
3 r
m
F
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
w = w
1
w
2
· · · w
m
, w
i
P
r
0
, r
1
, · · · , r
m
Q
s
0
, s
1
, · · · , s
m
Γ
1 r
0
= q
0
, s
0
=
2 (r
i+1
, b) δ(r
i
, w
i+1
, a), i = 0, 1, · · · , m 1
s
i
= at, s
i+1
= bt
3 r
m
F
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
δ(r
i
, w
i+1
, a) = {(r
i+1
, b)}
PDAcr
i
w
i+1
a
PDAr
i
r
i+1
顶的ab
1 δ(r
i
, ε, a)
2 δ(r
i
, w
i+1
, ε)
3 δ(r
i
, w
i+1
, a) = {(r
i+1
, ε)}
顶的a
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
δ(r
i
, w
i+1
, a) = {(r
i+1
, b)}PDAcr
i
w
i+1
a
PDAr
i
r
i+1
顶的ab
1 δ(r
i
, ε, a)
2 δ(r
i
, w
i+1
, ε)
3 δ(r
i
, w
i+1
, a) = {(r
i+1
, ε)}
顶的a
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
δ(r
i
, w
i+1
, a) = {(r
i+1
, b)}PDAcr
i
w
i+1
a
PDAr
i
r
i+1
顶的ab
1 δ(r
i
, ε, a)
2 δ(r
i
, w
i+1
, ε)
3 δ(r
i
, w
i+1
, a) = {(r
i+1
, ε)}
顶的a
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
δ(r
i
, w
i+1
, a) = {(r
i+1
, b)}PDAcr
i
w
i+1
a
PDAr
i
r
i+1
顶的ab
1 δ(r
i
, ε, a)
2 δ(r
i
, w
i+1
, ε)
3 δ(r
i
, w
i+1
, a) = {(r
i+1
, ε)}
顶的a
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
δ(r
i
, w
i+1
, a) = {(r
i+1
, b)}PDAcr
i
w
i+1
a
PDAr
i
r
i+1
顶的ab
1 δ(r
i
, ε, a)
2 δ(r
i
, w
i+1
, ε)
3 δ(r
i
, w
i+1
, a) = {(r
i+1
, ε)}
顶的a
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
δ(r
i
, w
i+1
, a) = {(r
i+1
, b)}PDAcr
i
w
i+1
a
PDAr
i
r
i+1
顶的ab
1 δ(r
i
, ε, a)
2 δ(r
i
, w
i+1
, ε)
3 δ(r
i
, w
i+1
, a) = {(r
i+1
, ε)}
顶的a
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
δ(r
i
, w
i+1
, a) = {(r
i+1
, b)}PDAcr
i
w
i+1
a
PDAr
i
r
i+1
顶的ab
1 δ(r
i
, ε, a)
2 δ(r
i
, w
i+1
, ε)
3 δ(r
i
, w
i+1
, a) = {(r
i+1
, ε)}
顶的a
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
δ(r
i
, w
i+1
, a) = {(r
i+1
, b)}PDAcr
i
w
i+1
a
PDAr
i
r
i+1
顶的ab
1 δ(r
i
, ε, a)
2 δ(r
i
, w
i+1
, ε)
3 δ(r
i
, w
i+1
, a) = {(r
i+1
, ε)}
顶的a
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
δ(r
i
, w
i+1
, a) = {(r
i+1
, b)}PDAcr
i
w
i+1
a
PDAr
i
r
i+1
顶的ab
1 δ(r
i
, ε, a)
2 δ(r
i
, w
i+1
, ε)
3 δ(r
i
, w
i+1
, a) = {(r
i+1
, ε)}
顶的a
Ç
þe©Ã'©{
文无 文无
(Pushdown automata PDA)
δ(r
i
, w
i+1
, a) = {(r
i+1
, b)}PDAcr
i
w
i+1
a
PDAr
i
r
i+1
顶的ab
1 δ(r
i
, ε, a)
2 δ(r
i
, w
i+1
, ε)
3 δ(r
i
, w
i+1
, a) = {(r
i+1
, ε)}顶的a
Ç
þe©Ã'©{
文无 文无
~
8 (£Oó{0
n
1
n
|n 0}PDA)
Ägµ
ÖÑ\G¥ÎÒ
ÎÒ0§òÙí\Ò
ÎÒ1§òÒº0Ñ
ɵҥ0ÐÖÑ\G§KÉT
Ñ\
Ç
þe©Ã'©{
文无 文无
~
8 (£Oó{0
n
1
n
|n 0}PDA)
Ägµ
ÖÑ\G¥ÎÒ
ÎÒ0§òÙí\Ò
ÎÒ1§òÒº0Ñ
ɵҥ0ÐÖÑ\G§KÉT
Ñ\
Ç
þe©Ã'©{
文无 文无
~
8 (£Oó{0
n
1
n
|n 0}PDA)
Ägµ
ÖÑ\G¥ÎÒ
ÎÒ0§òÙí\Ò
ÎÒ1§òÒº0Ñ
ɵҥ0ÐÖÑ\G§KÉT
Ñ\
Ç
þe©Ã'©{
文无 文无
~
8 (£Oó{0
n
1
n
|n 0}PDA)
Ägµ
ÖÑ\G¥ÎÒ
ÎÒ0§òÙí\Ò
ÎÒ1§òÒº0Ñ
ɵҥ0ÐÖÑ\G§KÉT
Ñ\
Ç
þe©Ã'©{
文无 文无
~
8 (£Oó{0
n
1
n
|n 0}PDA)
Ägµ
ÖÑ\G¥ÎÒ
ÎÒ0§òÙí\Ò
ÎÒ1§òÒº0Ñ
ɵҥ0ÐÖÑ\G§KÉT
Ñ\
Ç
þe©Ã'©{
文无 文无
~
Q = {q
1
, q
2
, q
3
, q
4
}
X
= {0, 1}
Γ = {0, $} F = {q
1
, q
4
}
q
1
$用于
q
2
00
q
3
10
q
4
Ç
þe©Ã'©{
文无 文无
~
Q = {q
1
, q
2
, q
3
, q
4
}
X
= {0, 1}
Γ = {0, $} F = {q
1
, q
4
}
q
1
$用于
q
2
00
q
3
10
q
4
Ç
þe©Ã'©{
文无 文无
~
Q = {q
1
, q
2
, q
3
, q
4
}
X
= {0, 1}
Γ = {0, $} F = {q
1
, q
4
}
q
1
$用于
q
2
00
q
3
10
q
4
Ç
þe©Ã'©{
文无 文无
~
Q = {q
1
, q
2
, q
3
, q
4
}
X
= {0, 1}
Γ = {0, $} F = {q
1
, q
4
}
q
1
$用于
q
2
00
q
3
10
q
4
Ç
þe©Ã'©{
文无 文无
~
Q = {q
1
, q
2
, q
3
, q
4
}
X
= {0, 1}
Γ = {0, $} F = {q
1
, q
4
}
q
1
$用于
q
2
00
q
3
10
q
4
Ç
þe©Ã'©{
文无 文无
~
δ:
δ(q
1
, ε, ε) = {(q
2
, $)}
0
δ(q
2
, 0, ε) = {(q
2
, 0)}
1
δ(q
2
, 1, 0) = {(q
3
, ε)}
δ(q
3
, 1, 0) = {(q
3
, ε)}
δ(q
3
, ε, $) = {(q
4
, ε)}
a, b c当读ac顶的b
Ç
þe©Ã'©{
文无 文无
~
δ:
δ(q
1
, ε, ε) = {(q
2
, $)}
0
δ(q
2
, 0, ε) = {(q
2
, 0)}
1
δ(q
2
, 1, 0) = {(q
3
, ε)}
δ(q
3
, 1, 0) = {(q
3
, ε)}
δ(q
3
, ε, $) = {(q
4
, ε)}
a, b c当读ac顶的b
Ç
þe©Ã'©{
文无 文无
~
δ:
δ(q
1
, ε, ε) = {(q
2
, $)}
0
δ(q
2
, 0, ε) = {(q
2
, 0)}
1
δ(q
2
, 1, 0) = {(q
3
, ε)}
δ(q
3
, 1, 0) = {(q
3
, ε)}
δ(q
3
, ε, $) = {(q
4
, ε)}
a, b c当读ac顶的b
Ç
þe©Ã'©{
文无 文无
~
δ:
δ(q
1
, ε, ε) = {(q
2
, $)}
0δ(q
2
, 0, ε) = {(q
2
, 0)}
1
δ(q
2
, 1, 0) = {(q
3
, ε)}
δ(q
3
, 1, 0) = {(q
3
, ε)}
δ(q
3
, ε, $) = {(q
4
, ε)}
a, b c当读ac顶的b
Ç
þe©Ã'©{
文无 文无
~
δ:
δ(q
1
, ε, ε) = {(q
2
, $)}
0δ(q
2
, 0, ε) = {(q
2
, 0)}
1
δ(q
2
, 1, 0) = {(q
3
, ε)}
δ(q
3
, 1, 0) = {(q
3
, ε)}
δ(q
3
, ε, $) = {(q
4
, ε)}
a, b c当读ac顶的b
Ç
þe©Ã'©{
文无 文无
~
δ:
δ(q
1
, ε, ε) = {(q
2
, $)}
0δ(q
2
, 0, ε) = {(q
2
, 0)}
1
δ(q
2
, 1, 0) = {(q
3
, ε)}
δ(q
3
, 1, 0) = {(q
3
, ε)}
δ(q
3
, ε, $) = {(q
4
, ε)}
a, b c当读ac顶的b
Ç
þe©Ã'©{
文无 文无
~
δ:
δ(q
1
, ε, ε) = {(q
2
, $)}
0δ(q
2
, 0, ε) = {(q
2
, 0)}
1
δ(q
2
, 1, 0) = {(q
3
, ε)}
δ(q
3
, 1, 0) = {(q
3
, ε)}
δ(q
3
, ε, $) = {(q
4
, ε)}
a, b c当读ac顶的b
Ç
þe©Ã'©{
文无 文无
~
δ:
δ(q
1
, ε, ε) = {(q
2
, $)}
0δ(q
2
, 0, ε) = {(q
2
, 0)}
1
δ(q
2
, 1, 0) = {(q
3
, ε)}
δ(q
3
, 1, 0) = {(q
3
, ε)}
δ(q
3
, ε, $) = {(q
4
, ε)}
a, b c当读ac顶的b
Ç
þe©Ã'©{
文无 文无
~
δ:
δ(q
1
, ε, ε) = {(q
2
, $)}
0δ(q
2
, 0, ε) = {(q
2
, 0)}
1
δ(q
2
, 1, 0) = {(q
3
, ε)}
δ(q
3
, 1, 0) = {(q
3
, ε)}
δ(q
3
, ε, $) = {(q
4
, ε)}
a, b c当读ac顶的b
Ç
þe©Ã'©{
文无 文无
~
q
1
start
q
2
q
4
q
3
ε, ε $
0, ε 0
1, 0 ε
1, 0 ε
ε, $ ε
0011, 0110
Ç
þe©Ã'©{
文无 文无
~
q
1
start
q
2
q
4
q
3
ε, ε $
0, ε 0
1, 0 ε
1, 0 ε
ε, $ ε
0011, 0110
Ç
þe©Ã'©{
文无 文无
~
0011
(q
2
, 0011, $) ` (q
2
, 011, 0$) ` (q
2
, 11, 00$)
` (q
3
, 1, 0$) ` (q
3
, ε, $)
0110
(q
2
, 0110, $) ` (q
2
, 110, 0$) ` (q
3
, 10, $)
Ç
þe©Ã'©{
文无 文无
~
0011
(q
2
, 0011, $)
` (q
2
, 011, 0$) ` (q
2
, 11, 00$)
` (q
3
, 1, 0$) ` (q
3
, ε, $)
0110
(q
2
, 0110, $) ` (q
2
, 110, 0$) ` (q
3
, 10, $)
Ç
þe©Ã'©{
文无 文无
~
0011
(q
2
, 0011, $) ` (q
2
, 011, 0$)
` (q
2
, 11, 00$)
` (q
3
, 1, 0$) ` (q
3
, ε, $)
0110
(q
2
, 0110, $) ` (q
2
, 110, 0$) ` (q
3
, 10, $)
Ç
þe©Ã'©{
文无 文无
~
0011
(q
2
, 0011, $) ` (q
2
, 011, 0$) ` (q
2
, 11, 00$)
` (q
3
, 1, 0$) ` (q
3
, ε, $)
0110
(q
2
, 0110, $) ` (q
2
, 110, 0$) ` (q
3
, 10, $)
Ç
þe©Ã'©{
文无 文无
~
0011
(q
2
, 0011, $) ` (q
2
, 011, 0$) ` (q
2
, 11, 00$)
` (q
3
, 1, 0$)
` (q
3
, ε, $)
0110
(q
2
, 0110, $) ` (q
2
, 110, 0$) ` (q
3
, 10, $)
Ç
þe©Ã'©{
文无 文无
~
0011
(q
2
, 0011, $) ` (q
2
, 011, 0$) ` (q
2
, 11, 00$)
` (q
3
, 1, 0$) ` (q
3
, ε, $)
0110
(q
2
, 0110, $) ` (q
2
, 110, 0$) ` (q
3
, 10, $)
Ç
þe©Ã'©{
文无 文无
~
0011
(q
2
, 0011, $) ` (q
2
, 011, 0$) ` (q
2
, 11, 00$)
` (q
3
, 1, 0$) ` (q
3
, ε, $)
0110
(q
2
, 0110, $)
` (q
2
, 110, 0$) ` (q
3
, 10, $)
Ç
þe©Ã'©{
文无 文无
~
0011
(q
2
, 0011, $) ` (q
2
, 011, 0$) ` (q
2
, 11, 00$)
` (q
3
, 1, 0$) ` (q
3
, ε, $)
0110
(q
2
, 0110, $) ` (q
2
, 110, 0$)
` (q
3
, 10, $)
Ç
þe©Ã'©{
文无 文无
~
0011
(q
2
, 0011, $) ` (q
2
, 011, 0$) ` (q
2
, 11, 00$)
` (q
3
, 1, 0$) ` (q
3
, ε, $)
0110
(q
2
, 0110, $) ` (q
2
, 110, 0$) ` (q
3
, 10, $)
Ç
þe©Ã'©{
文无 文无
~
9 ({ww
R
|w {0, 1}
})
CFG:
P ε
P 0P 0|1P 1
PDA:
ÒI£µ
δ(q
1
, ε, ε) = {(q
2
, $)}
Ç
þe©Ã'©{
文无 文无
~
9 ({ww
R
|w {0, 1}
})
CFG:
P ε
P 0P 0|1P 1
PDA:
ÒI£µ
δ(q
1
, ε, ε) = {(q
2
, $)}
Ç
þe©Ã'©{
文无 文无
~
9 ({ww
R
|w {0, 1}
})
CFG:
P ε
P 0P 0|1P 1
PDA:
ÒI£µ
δ(q
1
, ε, ε) = {(q
2
, $)}
Ç
þe©Ã'©{
文无 文无
~
9 ({ww
R
|w {0, 1}
})
CFG:
P ε
P 0P 0|1P 1
PDA:
ÒI£µ
δ(q
1
, ε, ε) = {(q
2
, $)}
Ç
þe©Ã'©{
文无 文无
~
9 ({ww
R
|w {0, 1}
})
CFG:
P ε
P 0P 0|1P 1
PDA:
ÒI£µ
δ(q
1
, ε, ε) = {(q
2
, $)}
Ç
þe©Ã'©{
文无 文无
~
9 ({ww
R
|w {0, 1}
})
CFG:
P ε
P 0P 0|1P 1
PDA:
ÒI£µδ(q
1
, ε, ε) = {(q
2
, $)}
Ç
þe©Ã'©{
文无 文无
~
q
2
猜测wq
3
q
3
Ç
þe©Ã'©{
文无 文无
~
q
2
猜测wq
3
q
3
Ç
þe©Ã'©{
文无 文无
~
q
2
猜测wq
3
q
3
Ç
þe©Ã'©{
文无 文无
~
q
2
猜测wq
3
q
3
Ç
þe©Ã'©{
文无 文无
~
q
2
猜测wq
3
q
3
Ç
þe©Ã'©{
文无 文无
~
q
2
猜测wq
3
q
3
Ç
þe©Ã'©{
文无 文无
~
q
2
猜测wq
3
q
3
Ç
þe©Ã'©{
文无 文无
~
q
2
猜测wq
3
q
3
Ç
þe©Ã'©{
文无 文无
~
10 ({ww
R
|w {0, 1}
}§w
R
L«w)
q
1
start
q
2
q
4
q
3
ε, ε $
0, ε 0,1, ε 1
ε, ε ε
0, 0 ε,1, 1 ε
ε, $ ε
Ç
þe©Ã'©{
文无 文无
~
10 ({ww
R
|w {0, 1}
}§w
R
L«w)
q
1
start
q
2
q
4
q
3
ε, ε $
0, ε 0,1, ε 1
ε, ε ε
0, 0 ε,1, 1 ε
ε, $ ε
Ç
þe©Ã'©{
文无 文无
~
½Â5 (]£ã)
eígÄÅM]£ã´µ(q, w, γ)§Ù¥
qµG
wµ{Ñ\G
γµæÒSN
`(p, α) δ(q, a, X)w
P
, β Γ
(q, aw, Xβ) ` (p, w, αβ)
`
)
Ç
þe©Ã'©{
文无 文无
~
½Â5 (]£ã)
eígÄÅM]£ã´µ(q, w, γ)§Ù¥
qµG
wµ{Ñ\G
γµæÒSN
`(p, α) δ(q, a, X)w
P
, β Γ
(q, aw, Xβ) ` (p, w, αβ)
`
)
Ç
þe©Ã'©{
文无 文无
~
½Â5 (]£ã)
eígÄÅM]£ã´µ(q, w, γ)§Ù¥
qµG
wµ{Ñ\G
γµæÒSN
`(p, α) δ(q, a, X)w
P
, β Γ
(q, aw, Xβ) ` (p, w, αβ)
`
)
Ç
þe©Ã'©{
文无 文无
~
½Â5 (]£ã)
eígÄÅM]£ã´µ(q, w, γ)§Ù¥
qµG
wµ{Ñ\G
γµæÒSN
`(p, α) δ(q, a, X)w
P
, β Γ
(q, aw, Xβ) ` (p, w, αβ)
`
)
Ç
þe©Ã'©{
文无 文无
~
½Â5 (]£ã)
eígÄÅM]£ã´µ(q, w, γ)§Ù¥
qµG
wµ{Ñ\G
γµæÒSN
`(p, α) δ(q, a, X)w
P
, β Γ
(q, aw, Xβ) ` (p, w, αβ)
`
)
Ç
þe©Ã'©{
文无 文无
~
½Â5 (]£ã)
eígÄÅM]£ã´µ(q, w, γ)§Ù¥
qµG
wµ{Ñ\G
γµæÒSN
`
(p, α) δ(q, a, X)w
P
, β Γ
(q, aw, Xβ) ` (p, w, αβ)
`
)
Ç
þe©Ã'©{
文无 文无
~
½Â5 (]£ã)
eígÄÅM]£ã´µ(q, w, γ)§Ù¥
qµG
wµ{Ñ\G
γµæÒSN
`(p, α) δ(q, a, X)w
P
, β Γ
(q, aw, Xβ) ` (p, w, αβ)
`
)
Ç
þe©Ã'©{
文无 文无
~
½Â5 (]£ã)
eígÄÅM]£ã´µ(q, w, γ)§Ù¥
qµG
wµ{Ñ\G
γµæÒSN
`(p, α) δ(q, a, X)w
P
, β Γ
(q, aw, Xβ) ` (p, w, αβ)
`
)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$)
(q
3
, 1111, $)
(q
2
, 11, 11$)
(q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$)
(q
3
, 11, 11$)
(q
2
, ε, 1111$)
(q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$)
(q
3
, 1111, $)
(q
2
, 11, 11$)
(q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$)
(q
3
, 11, 11$)
(q
2
, ε, 1111$)
(q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$)
(q
3
, 1111, $)
(q
2
, 11, 11$)
(q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$)
(q
3
, 11, 11$)
(q
2
, ε, 1111$)
(q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$)
(q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$)
(q
3
, 11, 11$)
(q
2
, ε, 1111$)
(q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$)
(q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$)
(q
3
, 11, 11$)
(q
2
, ε, 1111$)
(q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$) (q
3
, 111, 1$)
(q
3
, 11, $)
(q
2
, 1, 111$)
(q
3
, 11, 11$)
(q
2
, ε, 1111$)
(q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$) (q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$)
(q
3
, 11, 11$)
(q
2
, ε, 1111$)
(q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$) (q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$)
(q
3
, 11, 11$)
(q
2
, ε, 1111$)
(q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$) (q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$) (q
3
, 11, 11$)
(q
2
, ε, 1111$)
(q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$) (q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$) (q
3
, 11, 11$)
(q
2
, ε, 1111$)
(q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$) (q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$) (q
3
, 11, 11$)
(q
2
, ε, 1111$) (q
3
, 1, 111$)
(q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$) (q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$) (q
3
, 11, 11$)
(q
2
, ε, 1111$) (q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$) (q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$) (q
3
, 11, 11$)
(q
2
, ε, 1111$) (q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$)
(q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$) (q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$) (q
3
, 11, 11$)
(q
2
, ε, 1111$) (q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$) (q
3
, ε, 11$)
(q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$) (q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$) (q
3
, 11, 11$)
(q
2
, ε, 1111$) (q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$) (q
3
, ε, 11$) (q
3
, ε, $)
(q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
11 (Ñ\1111{ww
R
|w {0, 1}
}Ä)
(q
2
, 1111, $)
(q
2
, 111, 1$) (q
3
, 1111, $)
(q
2
, 11, 11$) (q
3
, 111, 1$) (q
3
, 11, $)
(q
2
, 1, 111$) (q
3
, 11, 11$)
(q
2
, ε, 1111$) (q
3
, 1, 111$) (q
3
, 1, 1$)
(q
3
, ε, 1111$) (q
3
, ε, 11$) (q
3
, ε, $) (q
4
, ε, $)
Ç
þe©Ã'©{
文无 文无
~
½3
e(q, x, α) `
(p, y, β)§Kw
P
, γ Γ
§k
(q, xw, αγ) `
(p, yw, βγ).
e(q, xw, α) `
(p, yw, β)§K(q, x, α) `
(p, y, β)"
Ç
þe©Ã'©{
文无 文无
~
½3
e(q, x, α) `
(p, y, β)§Kw
P
, γ Γ
§k
(q, xw, αγ) `
(p, yw, βγ).
e(q, xw, α) `
(p, yw, β)§K(q, x, α) `
(p, y, β)"
Ç
þe©Ã'©{
文无 文无
~
½3
e(q, x, α) `
(p, y, β)§Kw
P
, γ Γ
§k
(q, xw, αγ) `
(p, yw, βγ).
e(q, xw, α) `
(p, yw, β)§K(q, x, α) `
(p, y, β)"
Ç
þe©Ã'©{
文无 文无
~
½Â6 (±ÉGÉóL(P ))
P = (Q,
P
, Γ, δ, q
0
, $, F )´,PDA§K±ÉG
ÉóL(P )´
{w|(q
0
, w, $) `
(q, ε, α), q F }.
=±å©GÚÒÑu!±wÑ\§XJ3Ñw
?\ÉG§Kw L(P )"
5¿µªæÒSNÃ'"
Ç
þe©Ã'©{
文无 文无
~
½Â6 (±ÉGÉóL(P ))
P = (Q,
P
, Γ, δ, q
0
, $, F )´,PDA§K±ÉG
ÉóL(P )´
{w|(q
0
, w, $) `
(q, ε, α), q F }.
=±å©GÚÒÑu!±wÑ\§XJ3Ñw
?\ÉG§Kw L(P )"
5¿µªæÒSNÃ'"
Ç
þe©Ã'©{
文无 文无
~
½Â6 (±ÉGÉóL(P ))
P = (Q,
P
, Γ, δ, q
0
, $, F )´,PDA§K±ÉG
ÉóL(P )´
{w|(q
0
, w, $) `
(q, ε, α), q F }.
=±å©GÚÒÑu!±wÑ\§XJ3Ñw
?\ÉG§Kw L(P )"
5¿µªæÒSNÃ'"
Ç
þe©Ã'©{
文无 文无
~
cPDA{ww
R
|w {0, 1}
}.
x = ww
R
PDAx:
(q
2
, ww
R
, $) `
(q
2
, w
R
, w
R
$) ` (q
3
, w
R
, w
R
$)
`
(q
3
, ε, $) ` (q
4
, ε, $)
PDAww
R
(q
2
, x, $) `
(q
3
, ε, $)
xww
R
Ç
þe©Ã'©{
文无 文无
~
cPDA{ww
R
|w {0, 1}
}.
x = ww
R
PDAx:
(q
2
, ww
R
, $) `
(q
2
, w
R
, w
R
$) ` (q
3
, w
R
, w
R
$)
`
(q
3
, ε, $) ` (q
4
, ε, $)
PDAww
R
(q
2
, x, $) `
(q
3
, ε, $)
xww
R
Ç
þe©Ã'©{
文无 文无
~
cPDA{ww
R
|w {0, 1}
}.
x = ww
R
PDAx:
(q
2
, ww
R
, $)
`
(q
2
, w
R
, w
R
$) ` (q
3
, w
R
, w
R
$)
`
(q
3
, ε, $) ` (q
4
, ε, $)
PDAww
R
(q
2
, x, $) `
(q
3
, ε, $)
xww
R
Ç
þe©Ã'©{
文无 文无
~
cPDA{ww
R
|w {0, 1}
}.
x = ww
R
PDAx:
(q
2
, ww
R
, $) `
(q
2
, w
R
, w
R
$)
` (q
3
, w
R
, w
R
$)
`
(q
3
, ε, $) ` (q
4
, ε, $)
PDAww
R
(q
2
, x, $) `
(q
3
, ε, $)
xww
R
Ç
þe©Ã'©{
文无 文无
~
cPDA{ww
R
|w {0, 1}
}.
x = ww
R
PDAx:
(q
2
, ww
R
, $) `
(q
2
, w
R
, w
R
$) ` (q
3
, w
R
, w
R
$)
`
(q
3
, ε, $) ` (q
4
, ε, $)
PDAww
R
(q
2
, x, $) `
(q
3
, ε, $)
xww
R
Ç
þe©Ã'©{
文无 文无
~
cPDA{ww
R
|w {0, 1}
}.
x = ww
R
PDAx:
(q
2
, ww
R
, $) `
(q
2
, w
R
, w
R
$) ` (q
3
, w
R
, w
R
$)
`
(q
3
, ε, $)
` (q
4
, ε, $)
PDAww
R
(q
2
, x, $) `
(q
3
, ε, $)
xww
R
Ç
þe©Ã'©{
文无 文无
~
cPDA{ww
R
|w {0, 1}
}.
x = ww
R
PDAx:
(q
2
, ww
R
, $) `
(q
2
, w
R
, w
R
$) ` (q
3
, w
R
, w
R
$)
`
(q
3
, ε, $) ` (q
4
, ε, $)
PDAww
R
(q
2
, x, $) `
(q
3
, ε, $)
xww
R
Ç
þe©Ã'©{
文无 文无
~
cPDA{ww
R
|w {0, 1}
}.
x = ww
R
PDAx:
(q
2
, ww
R
, $) `
(q
2
, w
R
, w
R
$) ` (q
3
, w
R
, w
R
$)
`
(q
3
, ε, $) ` (q
4
, ε, $)
PDAww
R
(q
2
, x, $) `
(q
3
, ε, $)
xww
R
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0
x = εá
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0
x = εá
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0x = ε
á
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0x = εá
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0x = εá
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0x = εá
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0x = εá
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0x = εá
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0x = εá
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0x = εá
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0x = εá
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)
a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
½4 (e(q
2
, x, α) `
(q
3
, ε, α)§Kx7ww
R
/ª)
.
|x| = 0x = εá
|x| < ná
x = a
1
a
2
· · · a
n
, n > 0
(q
2
, x, α) ` (q
3
, x, α)
(q
2
, a
1
a
2
· · · a
n
, α) ` (q
2
, a
2
· · · a
n
, a
1
α)
(q
2
, a
2
· · · a
n
, a
1
α) `
(q
3
, ε, α)
(q
3
, a
n
, a
1
α) ` (q
3
, ε, α)a
1
= a
n
Ç
þe©Ã'©{
文无 文无
~
12 ({a
i
b
j
c
k
|i, j, k 0, i = j ½ i = k})
q
1
start
q
2
q
5
q
3
q
4
q
6
q
7
ε, ε $
a, ε a
ε, ε ε
ε, ε ε
b, ε ε
ε, ε ε
c, a ε
ε, $ ε
b, a ε
ε, $ ε
c, ε ε
Ç
þe©Ã'©{
文无 文无
~
12 ({a
i
b
j
c
k
|i, j, k 0, i = j ½ i = k})
q
1
start
q
2
q
5
q
3
q
4
q
6
q
7
ε, ε $
a, ε a
ε, ε ε
ε, ε ε
b, ε ε
ε, ε ε
c, a ε
ε, $ ε
b, a ε
ε, $ ε
c, ε ε
Ç
þe©Ã'©{
文无 文无
CFG的等
½5 (ów´CFL¿^´3£OwPDA.
Kóþe©Ã'ó
)
1.CFLPDA
1 $
δ(q
start
, ε, ε) = {(q
loop
, S$)}
1 q
1
2
δ(q
start
, ε, ε) = {(q
1
, $)}
δ(q
1
, ε, ε) = {(q
loop
, S)}
Ç
þe©Ã'©{
文无 文无
CFG的等
½5 (ów´CFL¿^´3£OwPDA.
Kóþe©Ã'ó)
1.CFLPDA
1 $
δ(q
start
, ε, ε) = {(q
loop
, S$)}
1 q
1
2
δ(q
start
, ε, ε) = {(q
1
, $)}
δ(q
1
, ε, ε) = {(q
loop
, S)}
Ç
þe©Ã'©{
文无 文无
CFG的等
½5 (ów´CFL¿^´3£OwPDA.
Kóþe©Ã'ó)
1.CFLPDA
1 $
δ(q
start
, ε, ε) = {(q
loop
, S$)}
1 q
1
2
δ(q
start
, ε, ε) = {(q
1
, $)}
δ(q
1
, ε, ε) = {(q
loop
, S)}
Ç
þe©Ã'©{
文无 文无
CFG的等
½5 (ów´CFL¿^´3£OwPDA.
Kóþe©Ã'ó)
1.CFLPDA
1 $
δ(q
start
, ε, ε) = {(q
loop
, S$)}
1 q
1
2
δ(q
start
, ε, ε) = {(q
1
, $)}
δ(q
1
, ε, ε) = {(q
loop
, S)}
Ç
þe©Ã'©{
文无 文无
CFG的等
½5 (ów´CFL¿^´3£OwPDA.
Kóþe©Ã'ó)
1.CFLPDA
1 $
δ(q
start
, ε, ε) = {(q
loop
, S$)}
1 q
1
2
δ(q
start
, ε, ε) = {(q
1
, $)}
δ(q
1
, ε, ε) = {(q
loop
, S)}
Ç
þe©Ã'©{
文无 文无
CFG的等
½5 (ów´CFL¿^´3£OwPDA.
Kóþe©Ã'ó)
1.CFLPDA
1 $
δ(q
start
, ε, ε) = {(q
loop
, S$)}
1 q
1
2
δ(q
start
, ε, ε) = {(q
1
, $)}
δ(q
1
, ε, ε) = {(q
loop
, S)}
Ç
þe©Ã'©{
文无 文无
CFG的等
½5 (ów´CFL¿^´3£OwPDA.
Kóþe©Ã'ó)
1.CFLPDA
1 $
δ(q
start
, ε, ε) = {(q
loop
, S$)}
1 q
1
2
δ(q
start
, ε, ε) =
{(q
1
, $)}
δ(q
1
, ε, ε) = {(q
loop
, S)}
Ç
þe©Ã'©{
文无 文无
CFG的等
½5 (ów´CFL¿^´3£OwPDA.
Kóþe©Ã'ó)
1.CFLPDA
1 $
δ(q
start
, ε, ε) = {(q
loop
, S$)}
1 q
1
2
δ(q
start
, ε, ε) = {(q
1
, $)}
δ(q
1
, ε, ε) = {(q
loop
, S)}
Ç
þe©Ã'©{
文无 文无
CFG的等
½5 (ów´CFL¿^´3£OwPDA.
Kóþe©Ã'ó)
1.CFLPDA
1 $
δ(q
start
, ε, ε) = {(q
loop
, S$)}
1 q
1
2
δ(q
start
, ε, ε) = {(q
1
, $)}
δ(q
1
, ε, ε) =
{(q
loop
, S)}
Ç
þe©Ã'©{
文无 文无
CFG的等
½5 (ów´CFL¿^´3£OwPDA.
Kóþe©Ã'ó)
1.CFLPDA
1 $
δ(q
start
, ε, ε) = {(q
loop
, S$)}
1 q
1
2
δ(q
start
, ε, ε) = {(q
1
, $)}
δ(q
1
, ε, ε) = {(q
loop
, S)}
Ç
þe©Ã'©{
文无 文无
CFG的等
2
1 A定地A
A
δ(q
loop
, ε, A) = {(q
loop
, w)|A w R}
2 aa
其匹配拒绝
δ(q
loop
, a, a) = {(q
loop
, ε)}
3 $时输
δ(q
loop
, ε, $) = {(q
accept
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
2
1 A定地A
A
δ(q
loop
, ε, A) = {(q
loop
, w)|A w R}
2 aa
其匹配拒绝
δ(q
loop
, a, a) = {(q
loop
, ε)}
3 $时输
δ(q
loop
, ε, $) = {(q
accept
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
2
1 A定地A
A
δ(q
loop
, ε, A) = {(q
loop
, w)|A w R}
2 aa
其匹配拒绝
δ(q
loop
, a, a) = {(q
loop
, ε)}
3 $时输
δ(q
loop
, ε, $) = {(q
accept
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
2
1 A定地A
A
δ(q
loop
, ε, A) = {(q
loop
, w)|A w R}
2 aa
其匹配拒绝
δ(q
loop
, a, a) = {(q
loop
, ε)}
3 $时输
δ(q
loop
, ε, $) = {(q
accept
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
2
1 A定地A
A
δ(q
loop
, ε, A) = {(q
loop
, w)|A w R}
2 aa
其匹配拒绝
δ(q
loop
, a, a) = {(q
loop
, ε)}
3 $时输
δ(q
loop
, ε, $) = {(q
accept
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
2
1 A定地A
A
δ(q
loop
, ε, A) = {(q
loop
, w)|A w R}
2 aa
其匹配拒绝
δ(q
loop
, a, a) = {(q
loop
, ε)}
3 $时输
δ(q
loop
, ε, $) = {(q
accept
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
2
1 A定地A
A
δ(q
loop
, ε, A) = {(q
loop
, w)|A w R}
2 aa
其匹配拒绝
δ(q
loop
, a, a) = {(q
loop
, ε)}
3 $时输
δ(q
loop
, ε, $) = {(q
accept
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
13
òXeCFG G=zPDAµS aT b | b, T T a | ε
δ(q
start
, ε, ε) = {(q
1
, $)} δ(q
1
, ε, ε) = {(q
loop
, S)}
T
δ(q
loop
, ε, T ) = {(q
2
, a)} δ(q
2
, ε, ε) = {(q
loop
, T )}
δ(q
loop
, ε, T ) = {(q
loop
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
13
òXeCFG G=zPDAµS aT b | b, T T a | ε
δ(q
start
, ε, ε) = {(q
1
, $)} δ(q
1
, ε, ε) = {(q
loop
, S)}
T
δ(q
loop
, ε, T ) = {(q
2
, a)} δ(q
2
, ε, ε) = {(q
loop
, T )}
δ(q
loop
, ε, T ) = {(q
loop
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
13
òXeCFG G=zPDAµS aT b | b, T T a | ε
δ(q
start
, ε, ε) = {(q
1
, $)}
δ(q
1
, ε, ε) = {(q
loop
, S)}
T
δ(q
loop
, ε, T ) = {(q
2
, a)} δ(q
2
, ε, ε) = {(q
loop
, T )}
δ(q
loop
, ε, T ) = {(q
loop
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
13
òXeCFG G=zPDAµS aT b | b, T T a | ε
δ(q
start
, ε, ε) = {(q
1
, $)} δ(q
1
, ε, ε) = {(q
loop
, S)}
T
δ(q
loop
, ε, T ) = {(q
2
, a)} δ(q
2
, ε, ε) = {(q
loop
, T )}
δ(q
loop
, ε, T ) = {(q
loop
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
13
òXeCFG G=zPDAµS aT b | b, T T a | ε
δ(q
start
, ε, ε) = {(q
1
, $)} δ(q
1
, ε, ε) = {(q
loop
, S)}
T
δ(q
loop
, ε, T ) = {(q
2
, a)} δ(q
2
, ε, ε) = {(q
loop
, T )}
δ(q
loop
, ε, T ) = {(q
loop
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
13
òXeCFG G=zPDAµS aT b | b, T T a | ε
δ(q
start
, ε, ε) = {(q
1
, $)} δ(q
1
, ε, ε) = {(q
loop
, S)}
T
δ(q
loop
, ε, T ) = {(q
2
, a)}
δ(q
2
, ε, ε) = {(q
loop
, T )}
δ(q
loop
, ε, T ) = {(q
loop
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
13
òXeCFG G=zPDAµS aT b | b, T T a | ε
δ(q
start
, ε, ε) = {(q
1
, $)} δ(q
1
, ε, ε) = {(q
loop
, S)}
T
δ(q
loop
, ε, T ) = {(q
2
, a)} δ(q
2
, ε, ε) = {(q
loop
, T )}
δ(q
loop
, ε, T ) = {(q
loop
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
13
òXeCFG G=zPDAµS aT b | b, T T a | ε
δ(q
start
, ε, ε) = {(q
1
, $)} δ(q
1
, ε, ε) = {(q
loop
, S)}
T
δ(q
loop
, ε, T ) = {(q
2
, a)} δ(q
2
, ε, ε) = {(q
loop
, T )}
δ(q
loop
, ε, T ) = {(q
loop
, ε)}
Ç
þe©Ã'©{
文无 文无
CFG的等
S
δ(q
loop
, ε, S) = (q
3
, b) δ(q
3
, ε, ε) = {(q
4
, T )}
δ(q
4
, ε, ε) = {(q
loop
, a)}δ(q
loop
, ε, S) = {(q
loop
, b)}
终止
δ(q
loop
, a, a) = {(q
loop
, ε)} δ(q
loop
, b, b) = {(q
loop
, ε)}
δ(q
loop
, ε, $) = {(q
accept
, $)}
Ç
þe©Ã'©{
文无 文无
CFG的等
S
δ(q
loop
, ε, S) = (q
3
, b)
δ(q
3
, ε, ε) = {(q
4
, T )}
δ(q
4
, ε, ε) = {(q
loop
, a)}δ(q
loop
, ε, S) = {(q
loop
, b)}
终止
δ(q
loop
, a, a) = {(q
loop
, ε)} δ(q
loop
, b, b) = {(q
loop
, ε)}
δ(q
loop
, ε, $) = {(q
accept
, $)}
Ç
þe©Ã'©{
文无 文无
CFG的等
S
δ(q
loop
, ε, S) = (q
3
, b) δ(q
3
, ε, ε) = {(q
4
, T )}
δ(q
4
, ε, ε) = {(q
loop
, a)}δ(q
loop
, ε, S) = {(q
loop
, b)}
终止
δ(q
loop
, a, a) = {(q
loop
, ε)} δ(q
loop
, b, b) = {(q
loop
, ε)}
δ(q
loop
, ε, $) = {(q
accept
, $)}
Ç
þe©Ã'©{
文无 文无
CFG的等
S
δ(q
loop
, ε, S) = (q
3
, b) δ(q
3
, ε, ε) = {(q
4
, T )}
δ(q
4
, ε, ε) = {(q
loop
, a)}
δ(q
loop
, ε, S) = {(q
loop
, b)}
终止
δ(q
loop
, a, a) = {(q
loop
, ε)} δ(q
loop
, b, b) = {(q
loop
, ε)}
δ(q
loop
, ε, $) = {(q
accept
, $)}
Ç
þe©Ã'©{
文无 文无
CFG的等
S
δ(q
loop
, ε, S) = (q
3
, b) δ(q
3
, ε, ε) = {(q
4
, T )}
δ(q
4
, ε, ε) = {(q
loop
, a)}δ(q
loop
, ε, S) = {(q
loop
, b)}
终止
δ(q
loop
, a, a) = {(q
loop
, ε)} δ(q
loop
, b, b) = {(q
loop
, ε)}
δ(q
loop
, ε, $) = {(q
accept
, $)}
Ç
þe©Ã'©{
文无 文无
CFG的等
S
δ(q
loop
, ε, S) = (q
3
, b) δ(q
3
, ε, ε) = {(q
4
, T )}
δ(q
4
, ε, ε) = {(q
loop
, a)}δ(q
loop
, ε, S) = {(q
loop
, b)}
终止
δ(q
loop
, a, a) = {(q
loop
, ε)} δ(q
loop
, b, b) = {(q
loop
, ε)}
δ(q
loop
, ε, $) = {(q
accept
, $)}
Ç
þe©Ã'©{
文无 文无
CFG的等
S
δ(q
loop
, ε, S) = (q
3
, b) δ(q
3
, ε, ε) = {(q
4
, T )}
δ(q
4
, ε, ε) = {(q
loop
, a)}δ(q
loop
, ε, S) = {(q
loop
, b)}
终止
δ(q
loop
, a, a) = {(q
loop
, ε)}
δ(q
loop
, b, b) = {(q
loop
, ε)}
δ(q
loop
, ε, $) = {(q
accept
, $)}
Ç
þe©Ã'©{
文无 文无
CFG的等
S
δ(q
loop
, ε, S) = (q
3
, b) δ(q
3
, ε, ε) = {(q
4
, T )}
δ(q
4
, ε, ε) = {(q
loop
, a)}δ(q
loop
, ε, S) = {(q
loop
, b)}
终止
δ(q
loop
, a, a) = {(q
loop
, ε)} δ(q
loop
, b, b) = {(q
loop
, ε)}
δ(q
loop
, ε, $) = {(q
accept
, $)}
Ç
þe©Ã'©{
文无 文无
CFG的等
S
δ(q
loop
, ε, S) = (q
3
, b) δ(q
3
, ε, ε) = {(q
4
, T )}
δ(q
4
, ε, ε) = {(q
loop
, a)}δ(q
loop
, ε, S) = {(q
loop
, b)}
终止
δ(q
loop
, a, a) = {(q
loop
, ε)} δ(q
loop
, b, b) = {(q
loop
, ε)}
δ(q
loop
, ε, $) = {(q
accept
, $)}
Ç
þe©Ã'©{
文无 文无
CFG的等
S
δ(q
loop
, ε, S) = (q
3
, b) δ(q
3
, ε, ε) = {(q
4
, T )}
δ(q
4
, ε, ε) = {(q
loop
, a)}δ(q
loop
, ε, S) = {(q
loop
, b)}
终止
δ(q
loop
, a, a) = {(q
loop
, ε)} δ(q
loop
, b, b) = {(q
loop
, ε)}
δ(q
loop
, ε, $) = {(q
accept
, $)}
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$)
` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$)
` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$)
` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$)
` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$)
` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$)
` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$)
` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$)
` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $)
` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
CFG的等
aaab
(q
loop
, aaab, S$) ` (q
3
, aaab, b$) ` (q
4
, aaab, T b$)
` (q
loop
, aaab, aT b$) ` (q
loop
, aab, T b$) ` (q
2
, aab, ab$)
` (q
loop
, aab, T ab$) ` (q
2
, aab, aab$) ` (q
loop
, aab, T aab$)
` (q
loop
, aab, aab$) ` (q
loop
, ab, ab$) ` (q
loop
, b, b$)
` (q
loop
, ε, $) ` (q
accept
, $)
Ç
þe©Ã'©{
文无 文无
n
½6 (þe©Ã'ó"Ú)
XJA´þe©Ã'ó§K3"Ýp§¦A¥?
ÛÝØupiÎGsѱy©5ãµs = uvxyz§
÷vµ
1 éuzi 0§uv
i
xy
i
z A
2 |vy| > 0
3 |vxy| p"
Ç
þe©Ã'©{
文无 文无
n
½6 (þe©Ã'ó"Ú)
XJA´þe©Ã'ó§K3"Ýp§¦A¥?
ÛÝØupiÎGsѱy©5ãµs = uvxyz§
÷vµ
1 éuzi 0§uv
i
xy
i
z A
2 |vy| > 0
3 |vxy| p"
Ç
þe©Ã'©{
文无 文无
n
½6 (þe©Ã'ó"Ú)
XJA´þe©Ã'ó§K3"Ýp§¦A¥?
ÛÝØupiÎGsѱy©5ãµs = uvxyz§
÷vµ
1 éuzi 0§uv
i
xy
i
z A
2 |vy| > 0
3 |vxy| p"
Ç
þe©Ã'©{
文无 文无
n
½6 (þe©Ã'ó"Ú)
XJA´þe©Ã'ó§K3"Ýp§¦A¥?
ÛÝØupiÎGsѱy©5ãµs = uvxyz§
÷vµ
1 éuzi 0§uv
i
xy
i
z A
2 |vy| > 0
3 |vxy| p"
Ç
þe©Ã'©{
文无 文无
n
½6 (þe©Ã'ó"Ú)
XJA´þe©Ã'ó§K3"Ýp§¦A¥?
ÛÝØupiÎGsѱy©5ãµs = uvxyz§
÷vµ
1 éuzi 0§uv
i
xy
i
z A
2 |vy| > 0
3 |vxy| p"
Ç
þe©Ã'©{
文无 文无
n
Ç
þe©Ã'©{
文无 文无
n
14 (y²B = {a
n
b
n
c
n
|n 0}Ø´þe©Ã')
y².
"Ýp§ÄiÎGs = a
p
b
p
c
p
= uvxyz§Ù
¥v½yØ´G"
ÄiÎGuv
2
xy
2
z:
ev, yѹ«ÎÒ§Kuv
2
xy
2
z¥a, b, cêØU
Ó§=ÙØáuB
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
14 (y²B = {a
n
b
n
c
n
|n 0}Ø´þe©Ã')
y².
"Ýp§ÄiÎGs = a
p
b
p
c
p
= uvxyz§Ù
¥v½yØ´G"
ÄiÎGuv
2
xy
2
z:
ev, yѹ«ÎÒ§Kuv
2
xy
2
z¥a, b, cêØU
Ó§=ÙØáuB
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
14 (y²B = {a
n
b
n
c
n
|n 0}Ø´þe©Ã')
y².
"Ýp§ÄiÎGs = a
p
b
p
c
p
= uvxyz§Ù
¥v½yØ´G"
ÄiÎGuv
2
xy
2
z:
ev, yѹ«ÎÒ§Kuv
2
xy
2
z¥a, b, cêØU
Ó§=ÙØáuB
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
14 (y²B = {a
n
b
n
c
n
|n 0}Ø´þe©Ã')
y².
"Ýp§ÄiÎGs = a
p
b
p
c
p
= uvxyz§Ù
¥v½yØ´G"
ÄiÎGuv
2
xy
2
z:
ev, yѹ«ÎÒ§Kuv
2
xy
2
z¥a, b, cêØU
Ó§=ÙØáuB
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
14 (y²B = {a
n
b
n
c
n
|n 0}Ø´þe©Ã')
y².
"Ýp§ÄiÎGs = a
p
b
p
c
p
= uvxyz§Ù
¥v½yØ´G"
ÄiÎGuv
2
xy
2
z:
ev, yѹ«ÎÒ§Kuv
2
xy
2
z¥a, b, cêØU
Ó§=ÙØáuB
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
14 (y²B = {a
n
b
n
c
n
|n 0}Ø´þe©Ã')
y².
"Ýp§ÄiÎGs = a
p
b
p
c
p
= uvxyz§Ù
¥v½yØ´G"
ÄiÎGuv
2
xy
2
z:
ev, yѹ«ÎÒ§Kuv
2
xy
2
z¥a, b, cêØU
Ó§=ÙØáuB
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
15 (y²B = {a
i
b
j
c
k
|0 i j k}Ø´þe©Ã'
)
y².
ÄiÎGuv
2
xy
2
z§Ù¥a
p
b
p
c
p
= uvxyz§v½yØ´
G"
ev, yѹ«ÎÒ§
ea 6∈ v, y§
Kuv
0
xy
0
z = uxz 6∈ B
eb 6∈ v, y§K
ea v½y§Kuv
2
xy
2
z 6∈ B
ec v½y§Kuv
0
xy
0
z 6∈ B
ec 6∈ v, y§
Kuv
2
xy
2
z 6∈ B
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
15 (y²B = {a
i
b
j
c
k
|0 i j k}Ø´þe©Ã'
)
y².
ÄiÎGuv
2
xy
2
z§Ù¥a
p
b
p
c
p
= uvxyz§v½yØ´
G"
ev, yѹ«ÎÒ§
ea 6∈ v, y§
Kuv
0
xy
0
z = uxz 6∈ B
eb 6∈ v, y§K
ea v½y§Kuv
2
xy
2
z 6∈ B
ec v½y§Kuv
0
xy
0
z 6∈ B
ec 6∈ v, y§
Kuv
2
xy
2
z 6∈ B
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
15 (y²B = {a
i
b
j
c
k
|0 i j k}Ø´þe©Ã'
)
y².
ÄiÎGuv
2
xy
2
z§Ù¥a
p
b
p
c
p
= uvxyz§v½yØ´
G"
ev, yѹ«ÎÒ§
ea 6∈ v, y§
Kuv
0
xy
0
z = uxz 6∈ B
eb 6∈ v, y§K
ea v½y§Kuv
2
xy
2
z 6∈ B
ec v½y§Kuv
0
xy
0
z 6∈ B
ec 6∈ v, y§
Kuv
2
xy
2
z 6∈ B
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
15 (y²B = {a
i
b
j
c
k
|0 i j k}Ø´þe©Ã'
)
y².
ÄiÎGuv
2
xy
2
z§Ù¥a
p
b
p
c
p
= uvxyz§v½yØ´
G"
ev, yѹ«ÎÒ§
ea 6∈ v, y§
Kuv
0
xy
0
z = uxz 6∈ B
eb 6∈ v, y§K
ea v½y§Kuv
2
xy
2
z 6∈ B
ec v½y§Kuv
0
xy
0
z 6∈ B
ec 6∈ v, y§
Kuv
2
xy
2
z 6∈ B
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
15 (y²B = {a
i
b
j
c
k
|0 i j k}Ø´þe©Ã'
)
y².
ÄiÎGuv
2
xy
2
z§Ù¥a
p
b
p
c
p
= uvxyz§v½yØ´
G"
ev, yѹ«ÎÒ§
ea 6∈ v, y§Kuv
0
xy
0
z = uxz 6∈ B
eb 6∈ v, y§K
ea v½y§Kuv
2
xy
2
z 6∈ B
ec v½y§Kuv
0
xy
0
z 6∈ B
ec 6∈ v, y§
Kuv
2
xy
2
z 6∈ B
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
15 (y²B = {a
i
b
j
c
k
|0 i j k}Ø´þe©Ã'
)
y².
ÄiÎGuv
2
xy
2
z§Ù¥a
p
b
p
c
p
= uvxyz§v½yØ´
G"
ev, yѹ«ÎÒ§
ea 6∈ v, y§Kuv
0
xy
0
z = uxz 6∈ B
eb 6∈ v, y§K
ea v½y§Kuv
2
xy
2
z 6∈ B
ec v½y§Kuv
0
xy
0
z 6∈ B
ec 6∈ v, y§
Kuv
2
xy
2
z 6∈ B
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
15 (y²B = {a
i
b
j
c
k
|0 i j k}Ø´þe©Ã'
)
y².
ÄiÎGuv
2
xy
2
z§Ù¥a
p
b
p
c
p
= uvxyz§v½yØ´
G"
ev, yѹ«ÎÒ§
ea 6∈ v, y§Kuv
0
xy
0
z = uxz 6∈ B
eb 6∈ v, y§K
ea v½y§Kuv
2
xy
2
z 6∈ B
ec v½y§Kuv
0
xy
0
z 6∈ B
ec 6∈ v, y§
Kuv
2
xy
2
z 6∈ B
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
15 (y²B = {a
i
b
j
c
k
|0 i j k}Ø´þe©Ã'
)
y².
ÄiÎGuv
2
xy
2
z§Ù¥a
p
b
p
c
p
= uvxyz§v½yØ´
G"
ev, yѹ«ÎÒ§
ea 6∈ v, y§Kuv
0
xy
0
z = uxz 6∈ B
eb 6∈ v, y§K
ea v½y§Kuv
2
xy
2
z 6∈ B
ec v½y§Kuv
0
xy
0
z 6∈ B
ec 6∈ v, y§Kuv
2
xy
2
z 6∈ B
ev½y¥¹k2ÎÒ§Kuv
2
xy
2
z¥a, b, cgSØé§
=ÙØáuB
Ç
þe©Ã'©{
文无 文无
n
16 (y²B = {ww|w {0, 1}
}Ø´CFL(J«µ
Ä0
p
1
p
0
p
1
p
))
Ç
þe©Ã'©{
文无 文无
½7 (CFG3¿$!$!($eµ4)
.
L
1
, L
2
CFG
G
1
= (V
1
, T
1
, P
1
, S
1
), G
2
= (V
2
, T
2
, P
2
, S
2
)
V
1
V
2
=
L
1
L
2
G
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
|S
2
}
Ç
þe©Ã'©{
文无 文无
½7 (CFG3¿$!$!($eµ4)
.
L
1
, L
2
CFG
G
1
= (V
1
, T
1
, P
1
, S
1
), G
2
= (V
2
, T
2
, P
2
, S
2
)
V
1
V
2
=
L
1
L
2
G
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
|S
2
}
Ç
þe©Ã'©{
文无 文无
½7 (CFG3¿$!$!($eµ4)
.
L
1
, L
2
CFG
G
1
= (V
1
, T
1
, P
1
, S
1
), G
2
= (V
2
, T
2
, P
2
, S
2
)
V
1
V
2
=
L
1
L
2
G
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
|S
2
}
Ç
þe©Ã'©{
文无 文无
½7 (CFG3¿$!$!($eµ4)
.
L
1
, L
2
CFG
G
1
= (V
1
, T
1
, P
1
, S
1
), G
2
= (V
2
, T
2
, P
2
, S
2
)
V
1
V
2
=
L
1
L
2
G
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
|S
2
}
Ç
þe©Ã'©{
文无 文无
½7 (CFG3¿$!$!($eµ4)
.
L
1
, L
2
CFG
G
1
= (V
1
, T
1
, P
1
, S
1
), G
2
= (V
2
, T
2
, P
2
, S
2
)
V
1
V
2
=
L
1
L
2
G
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
|S
2
}
Ç
þe©Ã'©{
文无 文无
L
1
L
2
G
|
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
S
2
}
L
1
G
= (V
1
{S
3
}, T
1
, P
3
, S
3
)
P
3
= P
1
{S
3
S
1
S
3
|ε}
Ç
þe©Ã'©{
文无 文无
L
1
L
2
G
|
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
S
2
}
L
1
G
= (V
1
{S
3
}, T
1
, P
3
, S
3
)
P
3
= P
1
{S
3
S
1
S
3
|ε}
Ç
þe©Ã'©{
文无 文无
L
1
L
2
G
|
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
S
2
}
L
1
G
= (V
1
{S
3
}, T
1
, P
3
, S
3
)
P
3
= P
1
{S
3
S
1
S
3
|ε}
Ç
þe©Ã'©{
文无 文无
L
1
L
2
G
|
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
S
2
}
L
1
G
= (V
1
{S
3
}, T
1
, P
3
, S
3
)
P
3
= P
1
{S
3
S
1
S
3
|ε}
Ç
þe©Ã'©{
文无 文无
L
1
L
2
G
|
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
S
2
}
L
1
G
= (V
1
{S
3
}, T
1
, P
3
, S
3
)
P
3
= P
1
{S
3
S
1
S
3
|ε}
Ç
þe©Ã'©{
文无 文无
L
1
L
2
G
|
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
S
2
}
L
1
G
= (V
1
{S
3
}, T
1
, P
3
, S
3
)
P
3
= P
1
{S
3
S
1
S
3
|ε}
Ç
þe©Ã'©{
文无 文无
L
1
L
2
G
|
= (V
1
V
2
{S
3
}, T
1
T
2
, P
3
, S
3
)
P
3
= P
1
P
2
{S
3
S
1
S
2
}
L
1
G
= (V
1
{S
3
}, T
1
, P
3
, S
3
)
P
3
= P
1
{S
3
S
1
S
3
|ε}
Ç
þe©Ã'©{
文无 文无
½8 (CFG3$eص4)
.
L
1
= {a
n
b
n
c
i
|n 1, i 1}, L
2
= {a
i
b
n
c
n
|n 1, i 1}
文无
S AB, A aAb|ab, B cB|c
L = L
1
L
2
= {a
n
b
n
c
n
|n 1}文无
Ç
þe©Ã'©{
文无 文无
½8 (CFG3$eص4)
.
L
1
= {a
n
b
n
c
i
|n 1, i 1}, L
2
= {a
i
b
n
c
n
|n 1, i 1}
文无
S AB, A aAb|ab, B cB|c
L = L
1
L
2
= {a
n
b
n
c
n
|n 1}文无
Ç
þe©Ã'©{
文无 文无
½8 (CFG3$eص4)
.
L
1
= {a
n
b
n
c
i
|n 1, i 1}, L
2
= {a
i
b
n
c
n
|n 1, i 1}
文无
S AB, A aAb|ab, B cB|c
L = L
1
L
2
= {a
n
b
n
c
n
|n 1}文无
Ç
þe©Ã'©{
文无 文无
½8 (CFG3$eص4)
.
L
1
= {a
n
b
n
c
i
|n 1, i 1}, L
2
= {a
i
b
n
c
n
|n 1, i 1}
文无
S AB, A aAb|ab, B cB|c
L = L
1
L
2
= {a
n
b
n
c
n
|n 1}文无
Ç
þe©Ã'©{
文无 文无
½8 (CFG3$eص4)
.
L
1
= {a
n
b
n
c
i
|n 1, i 1}, L
2
= {a
i
b
n
c
n
|n 1, i 1}
文无
S AB, A aAb|ab, B cB|c
L = L
1
L
2
= {a
n
b
n
c
n
|n 1}
文无
Ç
þe©Ã'©{
文无 文无
½8 (CFG3$eص4)
.
L
1
= {a
n
b
n
c
i
|n 1, i 1}, L
2
= {a
i
b
n
c
n
|n 1, i 1}
文无
S AB, A aAb|ab, B cB|c
L = L
1
L
2
= {a
n
b
n
c
n
|n 1}文无
Ç
þe©Ã'©{
文无 文无
½9 (CFG3/Ö$0eص4)
½10 (eL´CFL§R´Kó§KL R´CFL)
Ç
þe©Ã'©{
文无 文无
½9 (CFG3/Ö$0eص4)
½10 (eL´CFL§R´Kó§KL R´CFL)
Ç
þe©Ã'©{